子句集的化简的步骤？‘

[单选题]用布尔代数化简法求事故树最小割集的步骤为（ ）。

[多选题] 用布尔代数化简法求事故树最小割集的步骤为（）。A .找出其函数关系B .写出其结构函数C .化简得到其最小割集D . D.进行定量分析

[多选题]用布尔代数化简法求事故树最小割集的步骤为( )。A.找出其函数关系B.写出其结构函数C.化简得到其最小割集D.进行定量分析

[多选题]用布尔代数化简法求事故树最小割集的步骤为( )。A.找出其函数关系B.写出其结构函数C.化简得到其最小割集D.进行定量分析

[多选题] 求取子句集的步骤包括以下步骤：消去“蕴含”连结词、减少“非”连结词的辖域、对变量标准化、消去存在量词、化成前束范式、（）。A . 将母式化成合取范式B . 消去全称量词C . 消去合取连结词D . 更改变量名

[多选题] 求取子句集的步骤包括以下步骤,（）、化成前束范式、将母式化成合取范式、消去全称量词、消去合取连结词、更改变量名。A . 消去“蕴含”连结词B . 减少“非”连结词的辖域C . 对变量标准化D . 消去存在量词

[填空题] 谓词公式与其子句集的关系是（）。

[多选题] 用卡诺图化简逻辑函数的步骤除了将函数化简为最小项之和的形式外还有（）。A .画出表示该逻辑函数的卡诺图B .找出可以合并的最小项C .写出最简“与或”逻辑函数表达式D . D.写出最简“与或非”逻辑函数表达式

[问答题] 支持集策略对参加归结的子句提出了什么限制？

[主观题]最小割集的求法有多种，常用的有布尔代数化简法和（ ）。