Uma álgebra booleana é uma álgebra (B; &, +, ~ ; 0, 1)
constituída por um conjunto B (que contém pelo menos os
dois elementos 0 e 1) juntamente com três operações, o
produto booleano (&), a soma booleana (+) e o
complemento (~), definidas no conjunto, tal que para
quaisquer elementos x, y e z de B, x&y, x+y e ~z pertencem
a B.