Pro lineární rezoluční strom platí, že

právě odvozená klauzule musí být použita v některém z následujících rezolučních kroků, ne však nutně v bezprostředně následujícím.

právě odvozená klauzule musí být použita v bezprostředně následujícím rezolučním kroku

právě odvozená klauzule nemusí být použita v bezprostředně následujícím rezolučním kroku.

Predchádzajúca

Ďalšia

Vymazať štatistiky

Zle zodpovedané otázky:
128