单项选择题
下列（）解释了什么是Skolem范式。
A.含有量词的合取范式。
B.含有存在量词的析取范式。
C.不含有存在量词的合取范式或析取范式。
D.不含有全称量词的合取范式或析取范式。
点击查看答案&解析
相关考题
-
单项选择题
人工智能中的知识工程是指以下内容（）。
A.知识表示，知识获取
B.知识处理，知识推理
C.知识学习
D.A、B、C都是 -
单项选择题
下列哪些是三个命题变量的极小项（）。
A.P∧Q∧┐P
B.P∨Q∨R
C.P→Q→R
D.P∧Q∧┐R -
单项选择题
选出与P→┐Q是等价的公式（）。
A.P∨┐Q
B.┐P∨┐Q
C.┐（P∧┐Q）
D.┐（P∨Q）
