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

A、消去“蕴含”连结词

B、减少“非”连结词的辖域

C、对变量标准化

D、消去存在量词

  • A,B,C,D
  • 关注下方微信公众号,在线模考后查看

热门试题