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