disjunctive normal form
常见例句
- This model is in a special form called disjunctive normal form ( DNF ).
这一模型表现为一种特殊的形式--正常分离形式( DNF )。 - 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.
如果您学习过逻辑原理,您就会知道标准表示形式(没有嵌套替代项)等同于逻辑表达式的析取范式(disjunctive normal form)。 - 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