Soru: ¬(x ∧ y) ∨ ¬(x ∨ y) ifadesini De Morgan kurallarını kullanarak sadeleştiriniz.
Çözüm: İlk olarak, her bir parçaya De Morgan kurallarını uygulayalım: ¬(x ∧ y) ≡ ¬x ∨ ¬y ve ¬(x ∨ y) ≡ ¬x ∧ ¬y. Bu durumda ifade (¬x ∨ ¬y) ∨ (¬x ∧ ¬y) olur. Şimdi, bu ifadeyi sadeleştirelim: OR işlemi birleşik olduğundan, ¬x ∨ ¬y ∨ (¬x ∧ ¬y). Dağılma özelliğini kullanarak, bu ifade ¬x ∨ ¬y olarak sadeleşir (çünkü ¬x ∧ ¬y, ¬x ∨ ¬y'nin bir alt kümesidir). Sonuç: ¬x ∨ ¬y.