L’algèbre de Boole fixe les règles d’écriture et de simplification des équations logiques. Les principaux théorèmes et propriétés sont rappelés dans le tableau suivant :