Explanation: Literals that contain variables are assumed to be universally quantified. 4. Which can be converted to inferred equivalent CNF (Conjunction Normal Form) sentence?
A. Every sentence of propositional logic
B. Every sentence of inference
C. Every sentence of first-order logic
D. All of the mentioned
Answer:A
Explanation: Literals that contain variables are assumed to be universally quantified. 4. Which can be converted to inferred equivalent CNF (Conjunction Normal Form) sentence?
A. Every sentence of propositional logic B. Every sentence of inference C. Every sentence of first-order logic D. All of the mentioned