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

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

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

právě odvozená klazule musí 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:
95