Basic Boolean Algebra Laws