„De Morgan-azonosságok” változatai közötti eltérés

[nem ellenőrzött változat][nem ellenőrzött változat]
Tartalom törölve Tartalom hozzáadva
a jav.
a link
1. sor:
[[Image:DeMorgan Logic Circuit diagram DIN.svg|thumb|A de Morgan-féle azonosságok logikai kapukkal ábrázolva]]
A '''de Morgan-azonosságok''' a [[matematikai logika]], illetve a [[halmazelmélet]] két alapvető tételét fogalmazzák. Az azonosságok [[Augustus De Morgan|Augustus de Morgan]] angol matematikusról kapták a nevüket, jóllehet [[Wilhelm von Ockham]] már a középkorban felismerte őket. Ezek az azonosságok minden [[Boole-algebra|Boole-algebrában]] érvényesek.
 
== Azonosságok ==