在布尔逻辑中，析取范式(DNF)是逻辑公式的标准化（或规范化），它是合取子句的析取。作为规范形式，它在自动定理证明中有用。一个逻辑公式被认为是 DNF 的，当且仅当它是一个或多个文字的一个或多个合取的析取。同合取范式（CNF）一样，在 DNF 中的命题算子是与、或和非。非算子只能用做文字的一部分，这意味着它只能领先于命题变量。
析取范式(disjunctive normal form): 若干个小项的析取。 标准句(standard sentence):合取范式或析取范式 子句(clause):合取范式中的大项或 析取范式中的小项。
基于2984个网页-相关网页
... alternative hypothesis择一假设 alternative normal form析取范式 alternative proposition选言命题 ...
基于35个网页-相关网页
德英汉数学词典 ... Disjunktion disjunction 析取 Disjunktive Normalform disjunctive normal form 析取范式 Diskontinuum discontinuum 密断统 ...
基于6个网页-相关网页
·2,447,543篇论文数据，部分数据来源于NoteExpress
由软件的形式规格说明构造分类树，再把由分类树方法得到的测试用例转化为析取范式，进一步精炼测试用例。
Firstly, a classification-tree is constructed based on specification of the test object, and then test cases obtained from the classification-tree are refined by generating a disjunctive normal form.
针对差别矩阵求约简过程中合取范式向析取范式等价转换的难题，提出一种基于差别矩阵构造约简树的有效方法。
Aiming at the problem of equivalent conversion from conjunctive normal form to disjunctive normal form, an effective algorithm was proposed to construct reduction tree based on discernibility matrix.
讨论了命题公式的主析取范式、主合取范式中的极小项与极大项下标集合的性质，利用主范式的下标集合得到了命题公式蕴涵的几个充要条件。
With respect to the principal disjunctive normal form and the principal conjunctive normal form, we also approach the properties of the subscript sets derived from the minimum term and maximum term.
应用推荐