COMPSCI 171 Quiz: 2018-wq-cs-171-quiz-3-key
Document Summary
Order of literals within clauses does not matter. See section 7. 5. 2 and figure 7. 13 (p q r r w x) also ok (p q s s w x) . Quiz#3 winter quarter, 2018 25 minutes. Your id: (30 pts total, 5 pts each) resolution. Apply resolution to each of the following pairs of clauses, then simplify. Write your answer in conjunctive normal form (cnf), or write none if no resolution is possible. 1. a. (5 pts) (p q r s) (p q w x). 1. b. (5 pts) (p q r s) ( p). 1. d. (5 pts) (p q r s) (p r s w x). 1. e. (5 pts) (p q r s) (p q r s) 1. f. (5 pts) (p q s w) (p r s x: (5 pts each, 30 pts total) logic terminology. In each of the following, kb is a set of sentences, {} is the empty set of sentences, and s is a single sentence.
