DGD2

(R) refers to Rosen, 7th edition
(SE) supplemental exercises (posted on the course website, solutions on Blackboard) 

1. Consistency of a set of propositions:
   
•  (R) Section 1.2: #12
2. Knights and Knaves Problems:  (SE) Section 2: #3, #18
3. Equivalence:
   
• Prove, using truth tables, the 7th equivalence in (R) Table 7 "Logical Equivalences involving Implications"
• (R) Section 1.3: #10c (using a truth table); #10d (using tables of equivalences)  # 32 (using truth tables)
  
• (SE) Section 1: #3 (i) using negation and disjunction, (ii) using negation and conjunction (both using tables of equivalences)