De Morgan yasası

Vikipedi, özgür ansiklopedi
Şuraya atla: kullan, ara

De Morgan yasası, türetilmiş çözümleme kuralları tümel evetleme ve tikel evetleme biçiminde olmayan önermeleri dönüştürmek için kullanılan teorem.

Şu eşitlik De Morgan eşitliğidir:

  • değil (P ve Q) = (değil P) veya (değil Q)
  • değil (P veya Q) = (değil P) ve (değil Q)

Matematiksel gösterim[değiştir | kaynağı değiştir]

(A U B)' = A' n B'
(A n B)' = A' U B'