DM.LR.2.f: Use a truth table to prove the logical equivalence of statements.