单项选择题
下列（）解释了什么是Skolem范式。
A.含有量词的合取范式。B.含有存在量词的析取范式。C.不含有存在量词的合取范式或析取范式。D.不含有全称量词的合取范式或析取范式。
单项选择题 人工智能中的知识工程是指以下内容（）。
单项选择题 下列哪些是三个命题变量的极小项（）。
单项选择题 选出与P→┐Q是等价的公式（）。
