COMPSCI 171 Quiz: 2012-wq-cs-171-quiz-3-key
Document Summary
Quiz#3 winter quarter, 2012 20 minutes. See section 7. 5. 2 and figure 7. 13 (q r s) (p r s w x) From right: (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. (1 pt) (p q r s) (p q w x). 1. b. (1 pt) (p q r s) ( p). 1. d. (1 pt) (p q r s) (p r s w x). 1. e. (1 pt) (p q r s) (p q r s) 1. f. (1 pt) (p q s w) (p r s x: (30 pts total, 5 pts each) logic-to-english. For each of the following fol sentences on the left, write the letter corresponding to the best english sentence on the right. See section 8. 2. 6 student who got 100 on it.