Exercise 9.25

How can resolution be used to show that a sentence is valid? Unsatisfiable?

View Answer