conjunctive normal form
基本解釋
- [數] 合取范式
英漢例句
- When the constraint expression of a query is not a CNF (Conjunctive Normal Form), it is generally transformed into an equivalent DNF (disjunctive normal form)an union of CNFs .
當數據立方查詢條件不是合取范式時,一般是將它轉化成為若干合取范式的并的形式(析取范式)。 - This paper presents a fast and efficient algorithm for discovering exceptional rules from data sets. This algorithm permits that the consequent of a rule is a conjunctive normal form.
文章提出一種快速有效發(fā)現意外規(guī)則的算法,該算法允許規(guī)則的結果為合取范式。 - 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.
針對差別矩陣求約簡過程中合取范式向析取范式等價轉換的難題,提出一種基于差別矩陣構造約簡樹的有效方法。
雙語例句
詞組短語
- quantifier -free conjunctive-normal form [計]自由量詞合取范式;自由量詞合取范式英語;翻譯
- major conjunctive normal form 合取范式
- cnf conjunctive normal form 連接標準形式
- main conjunctive normal form 主合取范式
- Special Conjunctive Normal Form 主合取范式
短語
專業(yè)釋義
- 合取范式
When the constraint expression of a query is not a CNF (Conjunctive Normal Form),it is generally transformed into an equivalent DNF (disjunctive normal form)an union of CNFs .
當數據立方查詢條件不是合取范式時,一般是將它轉化成為若干合取范式的并的形式(析取范式)。 - 合取正常形式
- 合取范式