Boolean Algebras and Circuits

Observe the similarities between the algebra of sets and the algebra of propositions: the universal set plays the same role as T , the empty set Ø corresponds to F , ⋃ is like ⋁ and ⋂ is like ⋀. This similarity is exploited by defining an object, called a Boolean algebra , such that the algebra of all subsets of a fixed set is a Boolean algebra, and a well-defined set of propositions also forms a Boolean algebra.