DM.MGSR.1.3: Use negation, disjunction, and conjunction to determine if statements are logically equivalent.