CEC451-Assignment 4 solved

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