合一算法：求非空有限具有相同谓词名的原子公式集的（）。

【名词&注释】

标准化(standardization)、合取范式(conjunctive normal form)

[填空题]合一算法：求非空有限具有相同谓词名的原子公式集的（）。

查看答案&解析 查看所有试题

学习资料：

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

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

本文链接：https://www.51bdks.net/show/66lk36.html