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. Elle fut initiée en 1854 par le mathématicien britannique
George Boole.