Boolean Algebra
- is the algebra of logic
- is a branch of mathematics that deals with operations on logical values with binary variables; 0 (False) and 1 (True)
- the earliest method of manipulating symbolic logic was invented by George Boole and subsequently came to be known as Boolean Algebra
- is a complemented distributive lattice?