Lineární rezoluce je pro Hornovy klauzule v predikátové logice

korektní a úplná

korektní, ale né úplná

ne korektní, ale úplná

Predchádzajúca

Ďalšia

Vymazať štatistiky

Zle zodpovedané otázky: