Discrete Math Logical Equivalence Laws