Lalgè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 :