Obecná rezoluce je pro Hornovy klauzule v predikátové logice

korektní, ale ne úplná

korektní a úplná

ne korektní, ale úplná

Predchádzajúca

Ďalšia

Vymazať štatistiky

Zle zodpovedané otázky: