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.