## 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

## Implementation

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