多选题

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

A消去“蕴含”连结词

B减少“非”连结词的辖域

C对变量标准化

D消去存在量词

正确答案

来源:www.examk.com

答案解析

相似试题
  • 求取子句集的步骤包括以下步骤:消去“蕴含”连结词、减少“非”连结词的辖域、对变量标准化、消去存在量词、化成前束范式、()。

    多选题查看答案

  • 子句集的化简的步骤?‘

    简答题查看答案

  • 谓词公式与其子句集的关系是()。

    填空题查看答案

  • 每日构造包括以下哪些步骤?()

    多选题查看答案

  • 计算机的一个指令周期一般包括以下几个步骤()。

    单选题查看答案

  • 需求工程具体包括哪些步骤?每个步骤的具体任务是什么?

    简答题查看答案

  • 一条TCP连接的建立过程包括()步骤。一条TCP连接的释放过程包括4步骤。

    单选题查看答案

  • 软件测试包括哪些步骤?同时说明这些步骤的测试目的是什么?

    简答题查看答案

  • 图像获取包括哪些步骤?各个步骤又会影响图像质量的哪些参数?

    简答题查看答案