Exam (elaborations)
CS161 Final Questions and Answers | New One | Grade A+
- Course
- Institution
What is a skolem constant? Ans: Used to remove existential quantifier from FOL to transform to propositional logic. C1. What is a definite clause? Give an example Ans: A clause with exactly one positive literal. Example: - NOT A or NOTB or C - C What is a Horn Clause? Is it CNF or DNF? Ans:...
[Show more]