L'algèbre de Boole est une structure mathématique se rapportant à la manipulation des propositions et variables logiques à travers des équations. Les énoncés VRAI et FAUX y sont représentés par des valeurs binaires, tandis que les termes ET et OU deviennent des opérateurs de multiplication et d’addition. L'algèbre de Boole est au cœur de la logique mathématique, de la théorie des ensembles et de la théorie de l'information. Elle est utilisée aussi bien en mathématiques qu'en physique, et veille également aux fondements de l’informatique. Aujourd'hui les applications sont nombreuses, notamment en électronique et en télécommunications.