disjunctive normal form的意思
disjunctive normal form中文翻譯:
[數]析取范式
disjunctive form───邏輯和形
conjunctive normal form───[數]合取范式;合取范式; “與”標準形
disjunctive───n.反意連接詞;adj.分隔的;分離的
normal───n.(Normal)人名;(德)諾馬爾;adj.正常的;正規的;標準的;n.正常;標準;常態;法線(數學)
disjunctive syllogism───析取三段論
disjunctive question───反意疑問句
disjunctive pronouns───析取代詞
normal time───[管理]正常時間;[計量]標準時間;純勞動時間;純勞動時間,正常時間
disjunctive tautology───析取重言式
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.───針對差別矩陣求約簡過程中合取范式向析取范式等價轉換的難題,提出一種基于差別矩陣構造約簡樹的有效方法。
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.───了命題公式的主析取范式、主合取范式中的極小項與極大項下標集合的性質,利用主范式的下標集合得到了命題公式蘊涵的幾個充要條件。
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.───的形式規格說明構造分類樹,再把由分類樹方法得到的測試用例轉化為析取范式,進一步精煉測試用例。
Compute the principal disjunctive normal form───主析取范式
Analysis of Main Disjunctive Normal Form in Logic Assignment───命題邏輯中主范式的求法
Analysis of seeking main disjunctive normal form───主析取范式求法解析
This model is in a special form called disjunctive normal form ( DNF ).
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.
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.
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.
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.
中文翻譯推薦
- crossover track
- boron-containing fuel
- beaters skin
- check oil level
- alarm temperature
- crossover train
- baradene college
- detective fiction collection
- alarm test
- crossover tube
- datereported
- crossover type
- burnt food
- carrier dna
- disjunctive question means
- burnt fingers
- activity launcher
- anachronistically
- activity levels
- anaclasimeter
- check on my