Soru: ¬(A ∨ B) ifadesini De Morgan kurallarını uygulayarak sadeleştiriniz.
Çözüm: De Morgan kuralına göre, bir OR işleminin değili, bileşenlerin değillerinin AND işlemine eşittir. Yani ¬(A ∨ B) ≡ ¬A ∧ ¬B. Bu nedenle, ifadenin sadeleştirilmiş hali ¬A ∧ ¬B olur.
