Logic and Proof Example Sheet I

From the lecture notes

• Section 5 Exercises: 15, 16, 17, 19
• Section 6 Exercises: 24, 25
• Section 7 Exercises: 29
• Section 8 Exercises: 31, 34, 37, 38

Exam questions

• 2015/6/5
• 2013/6/5

Implementation

Implement DPLL as given in the lecture note for statements in propositional logic. Also write examples demonstrating that it works.