（简答题）
子句集的化简的步骤？‘
正确答案
（1）消去连接词“→”和“↔”（2）减少否定符号的辖域（3）对变元标准化（4）化为前束范式（5）消去存在量词（6）化为Skolem标准形（7）消去全称量词（8）消去合取词（9）更换变量名称
答案解析
略
相似试题
（多选题）
求取子句集的步骤包括以下步骤：消去“蕴含”连结词、减少“非”连结词的辖域、对变量标准化、消去存在量词、化成前束范式、（）。
（多选题）
求取子句集的步骤包括以下步骤,（）、化成前束范式、将母式化成合取范式、消去全称量词、消去合取连结词、更改变量名。
（多选题）
基于规则的逆向演绎系统对事实、规则和目标的化简过程（）
（填空题）
谓词公式与其子句集的关系是（）。
（单选题）
与HAVING子句一起使用的子句是（）。
（单选题）
HAVING子句不能单独使用，必须接在（）子句之后。
（单选题）
最基本的select语句可以只包括（）子句和（）子句。
（判断题）
WHERE子句和HAVING子句功能相同，可以互换使用。
（单选题）
SELECT语句中与HAVING子句同时使用的是（）子句。
