   A Boolean algebra (BA) is a set \(A\) together with binary operations + and \(\cdot\) and a unary operation \(-\), and elements 0, 1 of \(A\) such that the following laws hold: commutative and associative laws for addition and multiplication, distributive laws both for multiplication over addition and for addition over multiplication, and the following special laws: