• 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.

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

    youdao

  • 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.

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

    youdao

  • 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.

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

    youdao

  • 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.

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

    youdao

$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定