de-morgan-yasasi

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

Kategori:Boole cebiri Kategori:Çifteşlik teorileri Kategori:Matematiksel mantık

Bu makale Creative Commons Attribution-Share-Alike License 3.0 altında yayınlanan
Wikipedia makalesi De Morgan yasası, materyallerini kullanır.