Discrete Math - 1.3.1 “Proving” Logical Equivalences with Truth Tables