Všechny vzájemně neekvivalentní logické důsledky množiny {p, q}, které obsahují jen výrokové proměnné p,q jsou

¬p ⋁ q, p ⋁ ¬q, p ⋁ q, (¬p ⋁ q) ⋀ (p ⋁ ¬q), p, q, p ⋀ q, p ⋁ ¬p

p, q, p ⋀ q

p, q, p ⋁ q, p ⋀ q, p ⇒ q, p ⇔ q

Predchádzajúca

Ďalšia

Vymazať štatistiky

Zle zodpovedané otázky: