谓词公式转化为子句集过程由很多步骤，以下不属于其过程的是（ ）
A: 变量标准化
B: 消除蕴涵和等价连接词
C: 消除析取式
D: 移动否定符号
A: 变量标准化
B: 消除蕴涵和等价连接词
C: 消除析取式
D: 移动否定符号
举一反三
- 常见逻辑连接词包括哪些（）。 A: 否定连接词 B: 合取连接词 C: 析取连接词 D: 蕴涵连接词 E: 等价连接词
- 由谓词公式转化子句集的过程可以看出，在子句集中子句之间是_______关系，其中只要有一个关系不可满足，则子句集就不可满足。 A: 析取 B: 合取 C: 继承 D: 包含
- 下列和 不可兼析取的否定 等价的连接词是 A: ∨ B: ∧ C: - D: -
- 化子句集的步骤不包括以下哪个选项 。 A: 把目标的否定化成子句式，并用重言式表示 B: 消去存在量词 C: 把母式化为合取范式 D: 化为前束形
- 析取范式和合取范式中不出现的命题联接词是： A: 否定 B: 合取 C: 析取 D: 蕴涵