Pro SLD-strom platí, že

všechny cesty jsou rezolučním vyvrácením kořenové klauzule

nemusí existovat cesta odpovídající rezolučnímu vyvrácení kořenové klauzule

existuje alespoň jedna cesta odpovídající rezolučnímu vyvrácení kořenové klauzule

Predchádzajúca

Ďalšia

Vymazať štatistiky

Zle zodpovedané otázky:
92