$25
CECS 451
Assignment 4
Total: 42 Points
General Instruction
• I recommend you can write your answer using LATEX.
• 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