Discrete Math - 1.3.3 Constructing New Logical Equivalences