4.2.4 Logic Simplification