Explanation: First-order resolution requires the clause to be in disjunction of literals in Conjunctive Normal Form. 3. What is the condition of literals in variables?
A. Existentially quantified
B. Universally quantified
C. Quantified
D. None of the mentioned
Answer:A
Explanation: First-order resolution requires the clause to be in disjunction of literals in Conjunctive Normal Form. 3. What is the condition of literals in variables?
A. Existentially quantified B. Universally quantified C. Quantified D. None of the mentioned