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

> 计算机类考试 > 查看题目
多选题

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

消去“蕴含”连结词

减少“非”连结词的辖域

对变量标准化

消去存在量词

参考答案
A, B, C, D
您可能感兴趣的题目
标签
网络原理试题 Dreamweaver试题 三维动画试题 Indesign试题 photoshopcs4试题 人工智能试题 PageMaker试题 动画概论试题 计算机基础 密码技术试题 photoshopcs5试题 软件水平 黑客技术试题 计算机三级 网络管理试题 计算机四级 职称计算机 软件工程试题 AutoCAD试题