Pro SLD-strom platí, že

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

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

Predchádzajúca

Ďalšia

Vymazať štatistiky

Zle zodpovedané otázky:
92