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

právě odvozená klazule 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 některém z následujících kroků, ne však nutně v bezprostředně následujícím

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: