多项选择题
求取子句集的步骤包括以下步骤:消去“蕴含”连结词、减少“非”连结词的辖域、对变量标准化、消去存在量词、化成前束范式、()。
A.将母式化成合取范式
B.消去全称量词
C.消去合取连结词
D.更改变量名
点击查看答案

多项选择题
A.将母式化成合取范式
B.消去全称量词
C.消去合取连结词
D.更改变量名
微信扫一扫,加关注免费搜题