Soru: Bir önermenin doğruluk tablosunu kullanmadan, De Morgan kuralı ile ¬(p ∨ ¬q) ifadesinin eşdeğerini bulunuz.
Çözüm: De Morgan kuralını uygulayalım: ¬(p ∨ ¬q) ≡ ¬p ∧ ¬(¬q). ¬(¬q) ifadesi q'ya eşdeğerdir (çift değilleme kuralı). Bu nedenle, ifade ¬p ∧ q olur. Yani, ¬(p ∨ ¬q) ≡ ¬p ∧ q.
