<p> CmSc 175 Discrete Mathematics Study Guide for Unit Exam 1</p><p>Propositional Logic </p><p>1. Know the truth tables of the connectives ¬, Λ , V , → </p><p>2. Know the equivalence laws and be able to apply them when negating and simplifying logical expressions. </p><p>3. Know the disjunctive representation of P → Q, its converse, inverse and contrapositive. Know how to write the negation of conditionals. Contrapositive: ~Q → ~P Converse: Q → P Inverse: ~P → ~Q Negation: P Λ ~Q</p><p>4. Know the correspondence between conditionals and necessary/sufficient conditions: P → Q: P is sufficient for Q, Q is necessary for P</p><p>5. Know the correspondence between conditionals and “only if” statements: P only if Q P → Q translates to P → Q and also to ~Q → ~P</p><p>6. Know the correspondence between conditionals and “unless” statements: P unless Q translates to ~Q → P and also to ~P → Q</p><p>1</p>