TEOREMI DI DE MORGAN

Augustus de Morgan

Augustus De Morgan (Madurai, 27 giugno 1806 – Londra, 18 marzo 1871) è stato un matematico
e logico britannico. A lui si devono i teoremi di De Morgan che sono alla base dei sistemi logici
elettronici ed informatici. Per primo introdusse il termine induzione matematica e ne rese rigoroso il
concetto.

Primo teorema di De Morgan NOT (A OR B)=NOT A AND NOT B

Dimostrazione
Eseguo in un’unica tabella le due espressioni logiche contenute nell’uguaglianza. Prima calcolo
l’espressione a sinistra, poi quella a destra. Si veda la linea di separazione nella tabella.
A B A OR B NOT (A OR B) NOT A NOT B NOT A AND NOT B
V V V F F F F
V F V F F V F
F V V F V F F
F F F V V V V
La quarta colonna e l’ultima colonna sono uguali, hanno gli stessi valori di verità. L’espressione a
sinistra dell’uguale è equivalente all’espressione a destra. Quindi il I teorema è verificato.

Secondo teorema di De Morgan NOT (A AND B)=NOT A OR NOT B

Dimostrazione
Eseguo in un’unica tabella le due espressioni logiche contenute nell’uguaglianza. Prima calcolo
l’espressione a sinistra, poi quella a destra. Si veda la linea di separazione nella tabella.
A B A OR B NOT (A OR B) NOT A NOT B NOT A AND NOT B
V V V F F F F
V F F V F V V
F V F V V F V
F F F V V V V
La quarta colonna e l’ultima colonna sono uguali, hanno gli stessi valori di verità.
L’espressione a sinistra dell’uguale è equivalente all’espressione a destra. Quindi il II teorema è
verificato.