Teorema di De Morgan

Demostrazion grafega

I teorema di De Morgan hinn du teorema de la logica booleana descovert dal Augustus De Morgan.

Cossa disen

Modell:Varda anca I du teorema hinn:

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

$\overline{A+B}=\bar{A}\cdot \bar{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.

Demostrazion

Primm teorema

$p$	$q$	$\bar{p}$	$\bar{q}$	$p\vee q$	$\overline{p\vee q}$	$\bar{p}\wedge \bar{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

$p$	$q$	$\bar{p}$	$\bar{q}$	$p\wedge q$	$\overline{p\wedge q}$	$\bar{p}\vee \bar{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.