Rules For Boolean Algebra