用“合取范式”造句大全，合取范式造句

查询条件的生成采用的是合取范式的标准形式，用户界面的生成采用了标准的可视对象。

文章提出一种快速有效发现意外规则的算法，该算法允许规则的结果为合取范式。

实际应用中给出一种简化算法：一边从信息表中提取差别元素构成合取范式，一边用分配律、吸收律作逻辑公式的等价变换，直接得到最小析取范式。

该方法是对待测系统中的约束条件进行处理，将约束条件先转化为合取范式再转化为布尔表达式的形式。

本文给出极小子集问题的逻辑代数解法，即通过求逻辑函数的极小析取范式或极小合取范式来获得极小子集。

之后从该图中学习出引起冲突赋值的合取范式子句，将这些学习的子句增补到子句库中，用以限制和修剪测试生成的搜索空间，从而加速测试模式的生成过程。

针对差别矩阵求约简过程中合取范式向析取范式等价转换的难题，提出一种基于差别矩阵构造约简树的有效方法。