go top

conjunctive normal form

  • 合取范式:一种逻辑表达式的标准形式,由一系列子句通过合取操作符连接而成,每个子句都是由一个或多个文字通过析取操作符连接而成。

网络释义专业释义英英释义

  [数] 合取范式

合取范式(conjunctive normal form,CNF) :一个由原子和原 子的非组成的合取式,如果与给定的命题公式A等价,则称它 是A的合取范式

基于2860个网页-相关网页

  连接标准形式

...fied Novell Engineer Professional Association 网威公司确定授权工程师的专业学会 CNF Conjunctive Normal Form 连接标准形式 CNF Custom Number Formatting 客户编号格式化 ..

基于18个网页-相关网页

  合取正常形式

... 合取概括 conjunctive generalization 合取正常形式 conjunctive normal form,CNF 合取查询 conjunctive query ...

基于4个网页-相关网页

短语

prenex-conjunctive normal form 前束合取范式 ; 合取正规形式

quantifier-free conjunctive normal form 自由量词合取范式

CNF-conjunctive normal form 合取范式

major conjunctive normal form 合取范式

Special Conjunctive Normal Form 主合取范式

distinguished conjunctive normal form 杰异合取范式

quantifier-free conjunctive-normal form [计] 自由量词合取范式

cnf conjunctive normal form 连接标准形式

 更多收起网络短语
  • 合取范式 - 引用次数:7

    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 .

    当数据立方查询条件不是合取范式时,一般是将它转化成为若干合取范式的并的形式(析取范式)。

    参考来源 - 一种数据立方查询条件优化策略 in C
    合取正常形式
  • 合取范式

·2,447,543篇论文数据,部分数据来源于NoteExpress

Conjunctive normal form

  • abstract: In Boolean logic, a formula is in conjunctive normal form (CNF) or clausal normal form if it is a conjunction of clauses, where a clause is a disjunction of literals; otherwise put, it is an AND of ORs. As a normal form, it is useful in automated theorem proving.

以上来源于: WordNet

双语例句

  • A simplified method is given in practice: on the one side, it extracts the differential elements to construct conjunctive normal form from the information table.

    实际应用给出一种简化算法一边信息提取差别元素构成合取范式,一边用分配律、吸收律作逻辑公式的等价变换,直接得到最小析取范式

    youdao

  • An new concept of saturated conjunctive normal form is introduced and the nature of sat problem is studied for utilizing the characteristic of saturated conjunctive normal form.

    引入了饱和合取范式概念利用饱和合取范式性质SAT问题的本质进行了研究。

    youdao

  • 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.

    文章提出一种快速有效发现意外规则算法算法允许规则结果为合取范式

    youdao

更多双语例句
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定