I due teoremi di De Morgan ( video )

 

I due teoremi di De Morgan sono duali:

${\displaystyle \overline{A\cdot B}=\overline{A}+\overline{B}}$

${\displaystyle \overline{A+B}=\overline{A}\cdot \overline{B}}$

Con riferimento a termini insiemistici, il primo si enuncia affermando che se un elemento non appartiene ad ${\displaystyle A}$ per ${\displaystyle B}$, allora o non appartiene ad ${\displaystyle A}$ o non appartiene a ${\displaystyle B}$ o non appartiene ad entrambi. Il secondo teorema si enuncia affermando che se un elemento non appartiene ad ${\displaystyle A+B}$, allora non appartiene ad ${\displaystyle A}$ e non appartiene a ${\displaystyle B}$.