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

 

单词 disjunctive form
释义
disjunctive form
  • 简明释义
  • 逻辑和形
  • 网络释义
  • 1

    ?析取式

    析取式(disjunctive form): 若干个原子命题或其否定的析取。 析取范式(disjunctive normal form): 若干个合取式的析取。

  • 2

    ?析取形式

    ? 析取形式disjunctive form )由一系列 析取式(disjunct)组成,在句子中这些

  • 3

    ?逻辑和形

    ... disjunction operation ==> 逻辑和运算 disjunctive form ==> 逻辑和形 disjunctive normal form ==> 析取范式 ...

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

 

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

 

Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2025/4/2 0:19:20