Discrete Mathematics Logical Equivalence Examples