Basic Boolean Algebra Rules