MA.912.LT.4.5: Determine whether two propositions are logically equivalent.