Saved Bookmarks
| 1. |
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 |
|
Answer» 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. |
|