Pro SLD-rezoluci a rezoluční strom platí, že

střední klazule se nemůže později použít jako klauzule boční

střední klauzule se může později použit jako klazule boční

alespoň jedna střední klauzule se musí později pužít jako klazule boční

Predchádzajúca

Ďalšia

Vymazať štatistiky

Zle zodpovedané otázky: