Přidáme-li k formuli {{p, ¬p}} klauzule {p} a {¬p}. bude takto vytvořená formule

tautologií

kontradiktorická

splnitelná

Predchádzajúca

Ďalšia

Vymazať štatistiky

Zle zodpovedané otázky: