求取子句集的步骤包括以下步骤,（）、化成前束范式、将母式化成合取范式、消去全称量词、消去合取连结词、更改变量名。
A:消去“蕴含”连结词
B:减少“非”连结词的辖域
C:对变量标准化
D:消去存在量词
出自：计算机科学

提示：
同一【IP】的非会员用户每天可免费获取10次答案

收藏本站【zk.995w.com】，下次访问不迷路

本站试题总数:【10252937】个 (题库试题定时更新)