De Morgan yasası

Vikipedi, özgür ansiklopedi
Gezinti kısmına atla Arama kısmına atla

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]