Explanation: Propositional resolution is a refutation complete inference procedure for propositional logic. 2. What kind of clauses is available in Conjunctive Normal Form?
A. Disjunction of literals
B. Disjunction of variables
C. Conjunction of literals
D. Conjunction of variables
Answer:A
Explanation: Propositional resolution is a refutation complete inference procedure for propositional logic. 2. What kind of clauses is available in Conjunctive Normal Form?
A. Disjunction of literals B. Disjunction of variables C. Conjunction of literals D. Conjunction of variables