Teorema di De Morgan

Per savenn pussee, varda l'articol Porta logica.

I du teorema hinn:

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

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

Ossia A AND B tucc negaa l'è ugual de A negaa OR B negaa e A OR B tucc negaa l'è ugual de A negaa AND B negaa.

Primm teorema

${\displaystyle p}$	${\displaystyle q}$	${\displaystyle {\overline {p}}}$	${\displaystyle {\overline {q}}}$	${\displaystyle p\vee q}$	${\displaystyle {\overline {p\vee q}}}$	${\displaystyle {\overline {p}}\wedge {\overline {q}}}$
V	V	F	F	V	F	F
V	F	F	V	V	F	F
F	V	V	F	V	F	F
F	F	V	V	F	V	V

Segond teorema

${\displaystyle p}$	${\displaystyle q}$	${\displaystyle {\overline {p}}}$	${\displaystyle {\overline {q}}}$	${\displaystyle p\wedge q}$	${\displaystyle {\overline {p\wedge q}}}$	${\displaystyle {\overline {p}}\vee {\overline {q}}}$
V	V	F	F	V	F	F
V	F	F	V	F	V	V
F	V	V	F	F	V	V
F	F	V	V	F	V	V

Comé poeudom vedè da la tavola de la verità, l'è istess.