正确答案: ABCD

将母式化成合取范式 消去全称量词 消去合取连结词 更改变量名

题目：求取子句集的步骤包括以下步骤：消去“蕴含”连结词、减少“非”连结词的辖域、对变量标准化、消去存在量词、化成前束范式、（）。

查看原题 查看所有试题

学习资料的答案和解析：

[单选题]反演归结（消解）证明定理时，若当前归结式是（）时，则定理得证。

空子句