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.
由軟件的形式槼格說明搆造分類樹，再把由分類樹方法得到的測試用例轉化爲析取範式，進一步精鍊測試用例。