Explanation: Every sentence of first-order logic can be converted to inferred equivalent CNF(Conjunction Normal Form) sentence. 5. Which sentence will be unsatisfiable if the CNF (Conjunction Normal Form) sentence is unsatisfiable?
A. Search statement
B. Reading statement
C. Replaced statement
D. Original statement
Answer:A
Explanation: Every sentence of first-order logic can be converted to inferred equivalent CNF(Conjunction Normal Form) sentence. 5. Which sentence will be unsatisfiable if the CNF (Conjunction Normal Form) sentence is unsatisfiable?
A. Search statement B. Reading statement C. Replaced statement D. Original statement
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?