1) Minimal conjunctive form
极小合取范式
2) Minimal disjunctive form
极小析取范式
3) DNF minimization
析取范式极小化
4) CNF
合取范式
1.
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 .
当数据立方查询条件不是合取范式时，一般是将它转化成为若干合取范式的并的形式(析取范式)。
5) conjunction normal form
合取范式
1.
The satisfiability of conjunction normal form(abbreviate SAT problem) is a typical NP-complete problem.
合取范式可满足性问题(简称SAT问题)是典型的NP完全问题,本文引入了一个饱和子句集的新概念,利用饱和子句集的特性,研究了SAT问题的复杂性,证明了SAT问题复杂性为多项式的一个充分条件,并揭示了二元可满足性问题与三元可满足性问题的本质差别。
2.
The satisfiability problem of conjunction normal form (abbreviate SAT problem) is an NP_complete problem.
合取范式可满足性问题(简称SAT问题)是一个NP完全问题。
3.
Let F be the conjunction normal form(CNF formula),Ci be the clause of F in classical propositional logic system.
用F表示经典命题逻辑的合取范式(CNF)公式,Ci为F中的子句。
6) conjunctive normal form
合取范式
1.
Proceeding with both-branch proposition,the paper provides the characteristics of both-branch fuzzy logic and both-branch fuzzy logic expressions,Disjunctive Normal Form and Conjunctive Normal Form of both-branch fuzzy logic expressions.
从双枝模糊命题入手,给出双枝模糊逻辑的性质和双枝模糊逻辑公式,以及双枝模糊逻辑的析取范式与合取范式。
2.
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.
实际应用中给出一种简化算法:一边从信息表中提取差别元素构成合取范式,一边用分配律、吸收律作逻辑公式的等价变换,直接得到最小析取范式。
3.
Since the computational complexity in converting conjunctive normal form into disjunctive normal form is exponentially graded,therefore,in order to simplify the computational complexity,a surface-based DNA algorithm for the conversion of normal form transforming into disjunctive normal form is put forth.
合取范式化为析取范式的计算复杂度是指数级别的,为了降低它的计算复杂度,提出了合取范式化为析取范式的DNA表面计算。
补充资料：合取范式
| 合取范式 conjunction normal form 命题公式的一种标准形，设A是一个命题公式，A中出现的命题变元为p1，p2，…，pn，以Qi表示pi或7pi，i＝1，…，n。称Q1∧…∧Qn是p1，…，pn的一个合取项，若干个互不相同的合取项的析取称为一个合取范式，与命题公式A逻辑等价的合取范式称为A的合取范式。例如命题公式p→（q→r）的合取范式是 p∧q∧r∨［p∧q∧r∨p∧［q∧r∨［p∧［q∧r∨［p∧q∧［r∨p∧［q∧［r∨［p∧［q∧［r。一个命题公式的合取范式可以通过真值表得到，也可以通过等价变换得到。命题公式还有另一种范式，析取范式。析取范式的定义与合取范式对偶，只要把合取与析取对换就可以由合取项得到析取项，由合取范式得到析取范式。 |
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条