CSCI 4511W Midterm: CS 4511 UMN Midterm 2key 03 fixed
Document Summary
Key for 2nd midterm exam: 15 points. Answer: we convert to cnf and add the negated goal. Z: w, w q p, w z s, q s p, p q r. X student(x) y cscourse(y) t ake(x, y: a student has taken at most one computer science course. X student(x) [ y cscourse(y) t ake(x, y) [ zcscourse(z) z 6= y t ake(x, z)]] or, equivalently, T ake(x, z) z = y]: every student has been in every building on campus. X y student(x) building(y) v isited(x, y: there is a student who has been in every room of at least one building on campus. X student(x) y building(y) [ z room(z, y) v isited(x, z): every student has been in at least one room of every building on campus. X y student(x) building(y) z room(z, y) v isited(x, z) (b) transform the expressions you wrote in part (a) to cnf.
