4.2 Boolean Algebra Rules and simplification