问题描述：
[多选]
求取子句集的步骤包括以下步骤，（）、化成前束范式、将母式化成合取范式、消去全称量词、消去合取连结词、更改变量名。
A．消去“蕴含”连结词
B．减少“非”连结词的辖域
C．对变量标准化
D．消去存在量词
参考答案：查看无
答案解析：无
☆收藏
答案解析：无
☆收藏
- 我要回答: 网友(3.149.23.167)
- 热门题目: 1.P（BA）表示在规则A→B中 2.产生式系统的推理过程中，从可 3.合一算法：求非空有限具有相同