Introduction to Artificial Intelligence - Old Questions

6.  Consider the following sentence:

[(food => party) V (drinks => party)] => [(food ^ drinks) => party]

a. Convert the right hand and left hand sides of main implication into CNF.

b. Prove the validity of sentence using resolution.

Let food = F, party = P, drinks = D