Boolean algebra

{{algebra}} An algebra with two binary operators which are both associative, both commutative, such that both operators are distributive with respect to each other, with a pair of identity elements: one for each operator, and a unary complementation operator which simultaneously yields the inverse with respect to both operators.