De Morgan yasası
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
- (A v B)' = A' ^ B'
- (A ^ B)' = A' v B'
This article is issued from Vikipedi - version of the 10/6/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.