Boolean algebra

In abstract algebra, a Boolean algebra or Boolean lattice is a complemented distributive lattice. This type of algebraic structure captures essential properties of both set operations and logic operations. A Boolean algebra can be seen as a generalization of a power set algebra or a field of sets. It is also a special case of De Morgan algebra and Kleene algebra.



Reference:
http://en.wikipedia.org/wiki/Boolean_algebra_%28structure%29
http://zekiakan.tripod.com/boole_cebiri.htm