Notation

La variable NON x est notée /x, et se lit "x barre".

Théorème 1

Le complément d'un produit est égal à la somme des compléments.

/(a.b) = /a+/b

(a ET b) barre est égal à a barre OU b barre
ou bien
NON(a ET b) est égal à NON a OU NON b

Théorème 2

Le complément d'une somme est égal au produit des compléments.

/(a+b) = /a./b

(a OU b) barre est égal à a barre ET b barre
ou bien
NON(a OU b) est égal à NON a ET NON b

Généralisation aux fonctions de n variables