Théorème de Morgan

Augustus De Morgan (1806-1871) a continué le travail de Boole.

Le théorème De Morgan dit:

$\overline{x \vee y \vee z \vee ...} = \overline{x} \wedge \overline{y} \wedge \overline{z} \wedge ...$

$\overline{x \wedge y \wedge z \wedge ...} = \overline{x} \vee \overline{y} \vee \overline{z} \vee ...$

Faire vérifier.

Attention à la priorité des opérateurs: $\overline{A \vee B \wedge C}$ n'est pas égal à $\overline{A} \wedge \overline{B} \vee \overline{C}$ mais à $\overline{A} \wedge (\overline{B} \vee \overline{C})$.

Une des applications immédiates, c'est quand on n'a pas de porte ET, on peut la faire avec une porte NON-OU et deux entrées inversées.