Explanation: The CNF statement will be unsatisfiable just when the original sentence is unsatisfiable. 6. Which rule is equal to resolution rule of first-order clauses?
A. Propositional resolution rule
B. Inference rule
C. Resolution rule
D. None of the mentioned
Answer:A
Explanation: The CNF statement will be unsatisfiable just when the original sentence is unsatisfiable. 6. Which rule is equal to resolution rule of first-order clauses?
A. Propositional resolution rule B. Inference rule C. Resolution rule D. None of the mentioned