Laws of Boolean Algebra