“析取范式”可以造什么句，析取范式造句

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

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

由软件的形式规格说明构造分类树，再把由分类树方法得到的测试用例转化为析取范式，进一步精炼测试用例。

辅助计算用于授权析取范式，比如触摸屏写字板，便携式外界设备，游戏控制台以及网络电视等等。

讨论了命题公式的主析取范式、主合取范式中的极小项与极大项下标*的*质，利用主范式的下标*得到了命题公式蕴涵的几个充要条件。

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