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.
La fonction f prend la valeur 1 si a=b, 0 sinon -a≠b-. I.3. Règles de l'algèbre de Boole : a.b = a ET b = variable booléenne définie par la table de vérité de la fonction ET. a+b = a OU b = variable booléenne définie par la table de vérité de la fonction OU.
Tout sous-ensemble fini d'une algèbre de Boole possède une borne supérieure et une borne inférieure. Une algèbre de Boole est dite complète si c'est un treillis complet, c'est-à-dire si tous ses sous-ensembles (finis ou infinis) ont une borne supérieure et une borne inférieure (en fait l'une des deux hypothèses suffit).
Elle fut lancée en 1854 par le mathématicien britannique George Boole. L'algèbre de Boole trouve de nombreuses applications en informatique et dans la conception des circuits électroniques . Elle fut utilisée la première fois pour les circuits de commutation téléphonique par Claude Shannon .