Kterou klauzuli musíme přidat k množině klauzulí {p ⋁ q, ¬q, ¬r ⋁ ¬p}, aby množina byla sporná

r ⋁ ¬q

r

¬r

Predchádzajúca

Ďalšia

Vymazať štatistiky

Zle zodpovedané otázky:
62