求取子句集的步骤包括以下步骤,()、化成前束范式、将母式化成合取范式、消去全称量词、消去合取连结词、更改变量名。

求取子句集的步骤包括以下步骤,()、化成前束范式、将母式化成合取范式、消去全称量词、消去合取连结词、更改变量名。

消去“蕴含”连结词

减少“非”连结词的辖域

对变量标准化

消去存在量词


参考答案


A, B, C, D

您可能感兴趣的相关题目