求取子句集的步骤包括以下步骤,()、化成前束范式、将母式化成合取范式、消去全称量词、消去合取连结词、更改变量名。
多选题
求取子句集的步骤包括以下步骤,()、化成前束范式、将母式化成合取范式、消去全称量词、消去合取连结词、更改变量名。
消去“蕴含”连结词
减少“非”连结词的辖域
对变量标准化
消去存在量词
参考答案
A, B, C, D
您可能感兴趣的题目