1. Exercise 7.4: (c), (g), (h), and (j) with justifications.
2. Exercise 7.6: (b) with justification.
3. Prove [(F ⇒P) ∨ (D⇒P)] ≡ [(F∧D) ⇒P] by converting them into CNF separately.
4. Exercise 13.3: (a)
5. Exercise 13.8: (a), (b), (c)
6. Exercise 13.16
( Exercise 13.17