What kind of clauses are available in Conjunctive Normal Form?

Question

Q:

What kind of clauses are available in Conjunctive Normal Form?

(a) Disjunction of literals

(b) Disjunction of variables

(c) Conjunction of literals

(d) Conjunction of variables

The question was asked in examination.

This interesting question is from Resolution in portion Logical Agents of Artificial Intelligence

Select the correct answer from above options

Interview Questions and Answers, Database Interview Questions and Answers for Freshers and Experience

Answer 1

Right option is (a) Disjunction of literals

For explanation: First-order resolution requires the clause to be in disjunction of literals in Conjunctive Normal Form.