De Morgan kuralları nedir (Mantık)

Örnek 04 / 05

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.

1 2 3 4 5
Konuya Geri Dön: