Consider the following sentence: \([ ({Food} {\:\;{\Rightarrow}\:\;}{Party}) \lor ({Drinks} {\:\;{\Rightarrow}\:\;}{Party}) ] {\:\;{\Rightarrow}\:\;}[ ( {Food} \land {Drinks} ) {\:\;{\Rightarrow}\:\;}{Party}]\ .\)
-
Determine, using enumeration, whether this sentence is valid, satisfiable (but not valid), or unsatisfiable.
-
Convert the left-hand and right-hand sides of the main implication into CNF, showing each step, and explain how the results confirm your answer to (a).
-
Prove your answer to (a) using resolution.
Answer
Improve This Solution
View Answer