Question :
- What is the purpose of the resolution procedure?
- What is the resolvent of two clauses? Please provide examples.
- How does the resolution procedure work?
- Discuss how the resolution procedure works using simple examples
- Demonstrate with examples that if two clauses clash on more than one literal, the resolvent = true.