CS 205 Quiz #3B - Oct 4, 2012

NAME: __________________________________________________________________________

RUID:___________________________________________________________________________

Electronic Devices are not permitted during the quiz. These include but are not restricted to calculators, computers and cell phones. No communication between students or anyone outside of class is permitted during the quiz. Textbooks, notes and any other written materials are not permitted during the quiz.

DO NOT OPEN UNTIL INSTRUCTED TO DO SO

1. Suppose we have the following argument: a b c b ---------------------------------- a c If we wanted to use resolution refutation to determine if the argument is valid, which of the following would we want to do? Write True or False in the blank provided. ___________ a) Show that the following is satisfiable: ( (a b) (c b) ) (a c) ___________ b) Show that the following is unsatisfiable: ( (a b) (c b) ) (a c) ___________ c) Show that the following is a tautology: ( (a b) (c b) ) (a c) ___________ d) Show that the following is satisfiable: ( (a b) (c b) ) (a c) ___________ e) Show that the following is unsatisfiable: ( (a b) (c b) ) (a c) ___________ f) Show that the following is a tautology: ( (a b) (c b) ) (a c) ___________ g) Show that the following is satisfiable: ( (a b) (c b) ) (a c) ___________ h) Show that the following is unsatisfiable: ( (a b) (c b) ) (a c) ___________ i) Show that the following is a tautology: ( (a b) (c b) ) (a c)

2. Are the following in conjunctive normal form (CNF)? Write True in the blank if it is in CNF, otherwise write False.

___________

a)

a b

___________

b)

(a b ) ( c d )

___________

c)

( a b ) ( c d )

___________

d)

( a b ) ( c d )

___________

e)

a (b c)

___________

f)

a (b c)

___________

g)

( c )

___________

h)

( c d )

___________

i)

( a b ) ( c d )

___________

j)

a b

___________

k)

a b

3. Suppose we have the following argument: (a b) c d c a ---------------------------------- (b d) Which of the following is a CNF logical expression to which we could recursively resolution to determine if the argument is valid? (In other words, what would your logical expression look like right before you begin applying resolution if you were solving this problem?) Mark correct expressions with true. Mark incorrect expressions with false.

___________ a) ((a b) c) (d c) a (b d)

___________ b) ((a b) c) (d c) a (b d)

___________ c) ((a b) c) (d c) a (b d)

___________ d) (a b c) (d c) a (b d)

___________ e) (a b c) (d c) a (b d)

___________ f) (a b c) (d c) a b d

___________ g)

(((a b) c) (d c) a) (b d)

___________ h)

(a b c) (d c) a (b d)

___________ i)

(a b c) (d c) a b d

4. Suppose we have the following logical statement: ( a b c ) ( c d ) ( d a ) Which of the following represent a correct application of iterative resolution? Mark correct with True and incorrect with False. ____________ a) 1. 2. 3. 4. Resolve ( a b c ) and ( c d ) on c to get ( a b ) d Resolve ( d a ) and d on d to get a ( a b ) a a No resolution is possible, so no empty clause exists

____________ b) 1. Resolve ( a b c ) and ( c d ) on c to get ( a b ) d 2. Resolve ( d a ) and d on d to get a 3. Resolve ( a b ) and a on a to get an empty clause ____________ c) 1. 2. 3. 4. Resolve ( a b c ) and ( c d ) on c to get ( a b ) d Resolve ( d a ) and d on d to get a Resolve ( a b ) and a on a to get b No resolution is possible, so no empty clause exists

____________ d) 1. 2. 3. 4. Resolve ( a b c ) and ( c d ) on c to get ( a b d ) Resolve ( a b d ) and ( d a ) on d to get ( a b a ) ( a b a ) ( a b ) No resolution is possible, so no empty clause exists

____________ e) 1. Resolve ( d a ) and ( c d ) on d to get a c 2. Resolve c and ( a b c ) on c to get an empty clause

____________ f) 1. 2. 3. 4. Resolve ( d a ) and ( c d ) on d to get ( a c ) Resolve ( a b c ) and ( a c ) on c to get ( a b a ) ( a b a ) ( b a ) No resolution is possible, so no empty clause exists

5. Suppose a = 5, B = { 5 }, C = { 1, 2, 3, 4 } and D = { 1, 2, 3, 4, 5 }. Mark each of the following statements as True, False or Undefined. (Use Undefined when the operators are not defined for the operands shown.) ____________ a) B a

____________

b)

D a

____________

c)

D D

____________

d)

| B | = 5

____________

e)

P(B) = B

____________

f)

P(B) = { 5 }

____________

g)

B B = B

____________

h)

C B = B C

____________

i)

C B = C a

____________

j)

B = B

____________

k)

C = { 4, 3, 2, 1}

____________

l)

| | = 0

Scratch Paper

Scratch Paper