Question

First-order resolution requires the clause to be in Conjunctive Normal Form, which are

A. Disjunction of literals

 

B. Disjunction of variables

 

C. Conjunction of literals

 

D. Conjunction of variable

​

Answer 1

Answer:

Answer: a

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

Answer 2

Answer:

First-order resolution expect the clause to be in Conjunctive Normal Form, which are Disjunction of literals.

Option (B)

Explanation:

A literal is a propositional or negated propositional variable (P or ¬P). A clause is a disjunction of literals. CNF(Conjunctive normal form) contain all conjunction of literals and all disjunction of literals.

Conjunctive Normal Form (CNF) follows the conjunction in disjunction of literals. So that it is called the conjunction of Clauses. Disjunctive Normal Form (DNF) follows the disjunction in conjunction of literals.

It is given that the first-order resolution requires clause to be in CNF. And we know that CNF should be in conjunction with disjunction of literals.

p∧q (read p and q) - the conjunction of p and q

p∨q (read p or q) - the disjunction of p and q