disjunctive normal form发音

意思翻译

[数]析取范式

相似词语短语

disjunctive form───逻辑和形

conjunctive normal form───[数]合取范式；合取范式; “与”标准形

disjunctive───n.反意连接词；adj.分隔的；分离的

normal───n.(Normal)人名；(德)诺马尔；adj.正常的；正规的；标准的；n.正常；标准；常态；法线（数学）

disjunctive syllogism───析取三段论

disjunctive question───反意疑问句

disjunctive pronouns───析取代词

normal time───[管理]正常时间；[计量]标准时间；纯劳动时间；纯劳动时间，正常时间

disjunctive tautology───析取重言式

双语使用场景

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.───了命题公式的主析取范式、主合取范式中的极小项与极大项下标集合的性质，利用主范式的下标集合得到了命题公式蕴涵的几个充要条件。

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.───的形式规格说明构造分类树，再把由分类树方法得到的测试用例转化为析取范式，进一步精炼测试用例。

Compute the principal disjunctive normal form───主析取范式

Analysis of Main Disjunctive Normal Form in Logic Assignment───命题逻辑中主范式的求法

Analysis of seeking main disjunctive normal form───主析取范式求法解析

英语使用场景

This model is in a special form called disjunctive normal form ( DNF ).

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.

If you've studied logic theory, you might recognize the normal-form representation (with no nested alternatives) as equivalent to the disjunctive normal form of a logic expression.

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.