Algèbre de Boole (structure)

En mathématiques, une algèbre de Boole, ou parfois anneau de Boole, est une structure algébrique étudiée en particulier en logique mathématique. Une algèbre de Boole peut être définie soit comme une structure ordonnée particulière — c'est un treillis avec plus grand et plus petit élément, dont chacune des deux opérations de borne inférieure et de borne supérieure est distributive par rapport à l'autre, et dont tout élément possède un complément, soit comme un anneau (unitaire) dont tout élément égale son carré.