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.
  文章提出一种快速有效发现意外规则的算法，该算法允许规则的结果为合取范式。
• 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.
  针对差别矩阵求约简过程中合取范式向析取范式等价转换的难题，提出一种基于差别矩阵构造约简树的有效方法。

• conjunctive normal form更多例句

词组短语

短语

• quantifier -free conjunctive-normal form [计]自由量词合取范式;自由量词合取范式英语;翻译
• major conjunctive normal form 合取范式
• cnf conjunctive normal form 连接标准形式
• main conjunctive normal form 主合取范式
• Special Conjunctive Normal Form 主合取范式

• 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 .
  当数据立方查询条件不是合取范式时，一般是将它转化成为若干合取范式的并的形式(析取范式)。

• 合取正常形式

电子、通信与自动控制技术

• 合取范式