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

A、将母式化成合取范式

B、消去全称量词

C、消去合取连结词

D、更改变量名

  • 关注下方微信公众号，在线模考后查看

热门试题