What kind of clauses are available in Conjuctive Normal Form?
A. Disjunction of literals
B. Disjunction of variables
C. Conjuction of literals
D. Conjunction of variables
Answer:A
What kind of clauses are available in Conjuctive Normal Form?
A. Disjunction of literals B. Disjunction of variables C. Conjuction of literals D. Conjunction of variables
Explanation:First-order resolution requires the clause to be in disjunction of literals in Conjunctive Normal Form.