disjunctive normal form

英美

[数] 析取范式

disjunctive normal form网络翻译

[数] 析取范式

析取范式(disjunctive normal form): 若干个小项的析取。标准句(standard sentence):合取范式或析取范式 子句(clause):合取范式中的大项或 析取范式中的小项。

析取正规形式

... 前束正规形式 prenexnormal form ; normal form 析取正规形式 disjunctive normal form 根正规形式 Root Normal Form ...

分离性标准形式

... DNCOS Directory Number Class Of Service 业务分类名录电话号码 DNF Disjunctive Normal Form 分离性标准形式 DNG Digital News Gathering 数字新闻采访 ...

用合取范式

链接分析在权威WEB信息源搜索中的应用研究(管理科学与工程专业优秀论文) - docin.com豆丁网 ij∈ ｛o，1｝。根据布尔逻辑的三种基本运算：逻辑乘AND、逻辑或OR、以及逻辑非 NOT，查询q用合取范式（disjunctive normalform，DNF）面表示。设而是面的任一合取元素（conjunctivecomponents），则文档哇j和查询q相

disjunctive normal form常用短语

1. minimal disjunctive normal form：极小析取范式

2. prenex-disjunctive normal form：前束析取范式

3. alternating disjunctive normal form：交错析取正规形式

4. major disjunctive normal form：取范式

5. prenex disjunctive normal form：[数] 前束析取范式

6. main disjunctive normal form：主析取范式

disjunctive normal form双语例句

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.

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

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.

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

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.

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

disjunctive normal form

disjunctive normal form网络翻译

disjunctive normal form常用短语

disjunctive normal form双语例句

相关单词