累计查询 0.00 亿次

conjunctive normal form

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

双语例句

  1. 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.
    实际应用中给出一种简化算法：一边从信息表中提取差别元素构成合取范式，一边用分配律、吸收律作逻辑公式的等价变换，直接得到最小析取范式。
  2. 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问题的本质进行了研究。
  3. 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.
    文章提出一种快速有效发现意外规则的算法，该算法允许规则的结果为合取范式。

网络短语

  • prenex-conjunctive normal form
    前束合取范式；合取正规形式
  • quantifier-free conjunctive normal form
    自由量词合取范式
  • CNF-conjunctive normal form
    合取范式
  • major conjunctive normal form
    合取范式
  • Special Conjunctive Normal Form
    主合取范式

英英释义

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