求取子句集的步骤包括以下步骤：消去“蕴含”连结词、减少“非”连结

【名词&注释】

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

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

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

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

学习资料：

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

A. 永真式
B. 包孕式
C. 空子句

本文链接：https://www.51bdks.net/show/3dlz0e.html