Soru: ¬(x ∧ y) ∨ ¬(x ∨ y) ifadesini De Morgan kurallarını kullanarak sadeleştiriniz.
Çözüm: İlk olarak, her bir parçaya De Morgan kuralını uygulayalım: ¬(x ∧ y) ≡ ¬x ∨ ¬y ve ¬(x ∨ y) ≡ ¬x ∧ ¬y. Bu değerleri yerine koyarsak: (¬x ∨ ¬y) ∨ (¬x ∧ ¬y). Şimdi, OR işleminin birleşme özelliğini kullanarak ifadeyi düzenleyelim: ¬x ∨ ¬y ∨ (¬x ∧ ¬y). Bu ifade, dağılma özelliği ile sadeleşebilir, ancak basitçe, ¬x ve ¬y'nin en az birinin doğru olduğu durumları kapsar, bu da ¬x ∨ ¬y'ye eşdeğerdir. Bu nedenle, sadeleştirilmiş ifade ¬x ∨ ¬y olur.
