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

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

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

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

Predchádzajúca

Ďalšia

Vymazať štatistiky

Zle zodpovedané otázky:
81