Explanation: Because resolution yields a complete inference rule when coupled with any search algorithm. 9. Which form is called as conjunction of disjunction of literals?
A. Conjunctive normal form
B. Disjunctive normal form
C. Normal form
D. All of the mentioned
Answer:A
Explanation: Because resolution yields a complete inference rule when coupled with any search algorithm. 9. Which form is called as conjunction of disjunction of literals?
A. Conjunctive normal form B. Disjunctive normal form C. Normal form D. All of the mentioned
Explanation: None. 10. What can be viewed as single lateral of disjunction?