合取范式（conjunctive normal form），是命题公式的一种标准形。 一个命题公式的合取范式可以通过真值表得到，也可以通过等价变换得到。 合取范式主要用于解决命题公式的逻辑判断，一个命题的合取范式不是唯一的。
合取范式(conjunctive normal form,CNF) ：一个由原子和原 子的非组成的合取式，如果与给定的命题公式A等价，则称它 是A的合取范式。
基于2886个网页-相关网页
定义2．1．4合取范式（Conjectured Normal Formula） x上的合取范式是x上的一些子句的合取。如果一个布尔合取范式的每个乘积项最多是k个文字的析取式，就称为k元合取范式，简记为k—...
基于24个网页-相关网页
众所周知，任何命题逻辑公式都逻辑等价于一个合取范式（CNF-Conjunctive Normal Form）。合取范式即是子句的合取，而子句是文字(变元或其否定)的析取。
基于12个网页-相关网页
·2,447,543篇论文数据，部分数据来源于NoteExpress
合取范式可满足性问题(简称SAT问题)是一个NP完全问题。
The satisfiability problem of conjunction normal form (abbreviate sat problem) is an NP_complete problem.
合取范式可满足性问题(简称SAT问题)是一个NP完全问题。
The satisfiability of conjunction normal form (abbreviate sat problem) is a typical NP-complete problem.
文章提出一种快速有效发现意外规则的算法，该算法允许规则的结果为合取范式。
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.
应用推荐