L' algèbre de Boole, ou calcul booléen, est la partie des mathématiques qui s'intéresse à une approche algébrique de la logique, vue en termes de variables, d' opérateurs et de fonctions sur les variables logiques, ce qui permet d'utiliser des techniques algébriques pour traiter les expressions à deux valeurs du calcul des propositions.
L’algèbre des circuits électriques est une algèbre de Boole: L’ensemble E est composé des éléments 0 et 1. Il est muni des lois « . » ̅ et « + » et de l’application complémentaire f : a .
L'algèbre de Boole des fonctions logiques permet de modéliser des raisonnements logiques, en exprimant un « état » en fonction de conditions. Par exemple, si nous étudions l'expression Communication et l'expression Décrocher :
On dit que les portes OU, ET, NON sont des opérateurs booléens, parce qu'ils impliquent ou traitent des variables booléennes, c'est à dire des variables logiques qui ne peuvent prendre que deux valeurs: 0 et 1. Le terme booléen vient du nom du mathématicien anglais George Boole (1815-1864), qui fit une analyse mathématique de la logique.