[SOLVED] CECS451 Assignment 4

General Instruction

• I recommend you can write your answer using L^A
• Submit your work in the Dropbox folder via BeachBoard (Not email or in class).

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