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 v B)' = A' ^ B'
(A ^ B)' = A' v B'