Explanation: Because they are disjunction of literals, of which exactly one is positive. 3. What is the condition of variables in first-order literals?
A. Existentially quantified
B. Universally quantified
C. Both a & b
D. None of the mentioned
Answer:A
Explanation: Because they are disjunction of literals, of which exactly one is positive. 3. What is the condition of variables in first-order literals?
A. Existentially quantified B. Universally quantified C. Both a & b D. None of the mentioned
Explanation: First-order literals will accept variables only if they are universally quantified. 4. Which is more suitable normal form to be used with definite clause?