disjunctive normal form
常見(jiàn)例句
- This model is in a special form called disjunctive normal form ( DNF ).
這一模型表現(xiàn)爲(wèi)一種特殊的形式--正常分離形式( 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.
如果您學(xué)習(xí)過(guò)邏輯原理,您就會(huì)知道標(biāo)準(zhǔn)表示形式(沒(méi)有嵌套替代項(xiàng))等同於邏輯表達(dá)式的析取範(fàn)式(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.
由軟件的形式槼格說(shuō)明搆造分類樹(shù),再把由分類樹(shù)方法得到的測(cè)試用例轉(zhuǎn)化爲(wèi)析取範(fàn)式,進(jìn)一步精鍊測(cè)試用例。 返回 disjunctive normal form