求取子句集的步骤包括以下步骤,()、化成前束范式、将母式化成合取范式、消去全称量词、消去合取连结词、更改变量名。
2 阅读
求取子句集的步骤包括以下步骤,()、化成前束范式、将母式化成合取范式、消去全称量词、消去合取连结词、更改变量名。
- A: 消去“蕴含”连结词
- B: 减少“非”连结词的辖域
- C: 对变量标准化
- D: 消去存在量词
请帮忙给出正确答案和分析,谢谢!
搜题,就来89问答库