Algèbre de Boole
Lois de composition
Circuits logiques
Additionneur