Ninjawords

°(algebra logic computing) An algebra in which all elements can take only one of two values (typically 0 and 1, or "true" and "false") and are subject to operations based on AND, OR and NOT.

°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.