Posted on January 6, 2018 and last updated on February 3, 2018

Logic and Proof Example Sheet I

From the lecture notes

Exam questions

Implementation

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