Question

Which can be converted to inferred equivalent CNF sentence?

(a) Every sentence of propositional logic

(b) Every sentence of inference

(c) Every sentence of first-order logic

(d) All of the mentioned

The question was asked during an internship interview.

Enquiry is from Resolution in chapter Logical Agents of Artificial Intelligence

Answer 1

Correct answer is (c) Every sentence of first-order logic

For explanation I would say: Every sentence of first-order logic can be converted to inferred equivalent CNF sentence.