请输入您要查询的英文单词:

 

单词 disjunctive normal form
释义
disjunctive normal form
  • 简明释义
  • [数] 析取范式
  • 网络释义
  • 1

    [数]?析取范式

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

  • 2

    ?析取正规形式

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

  • 3

    ?分离性标准形式

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

  • 4

    ?用合取范式

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

  • 双语例句
  • 1
    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.
    讨论了命题公式的主析取范式、主合取范式中的极小项与极大项下标集合的性质,利用主范式的下标集合得到了命题公式蕴涵的几个充要条件。
  • 2
    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.
    针对差别矩阵求约简过程中合取范式向析取范式等价转换的难题,提出一种基于差别矩阵构造约简树的有效方法。
  • 3
    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.
    由软件的形式规格说明构造分类树,再把由分类树方法得到的测试用例转化为析取范式,进一步精炼测试用例。
随便看

 

英汉双解词典包含3185865条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。

 

Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2025/8/6 16:54:31