1) prenex conjunctive normal form
前束合取范式
2) prenex disjunctive normal form
前束析取范式
3) prenex normal form
前束范式
1.
In the first order logic whose adequate set of connective is (→,~),we can use the four \{equivalent\} valued formulas to show that the prenex normal form theorem is true.
以｛→,～｝为连词完全集的一阶逻辑前束范式定理是由4 个等值式得到的。
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表面计算。
补充资料：前束
分子式：
CAS号：
性质：又称前束。指汽车左右两前轮装配时，使两前轮的前端间距小于后端间距。一般前束量为3～6mm。当前轮前束与前轮外倾的作用相抵消时，前轮可不产生侧滑而回转，保持直线行驶状态。
CAS号：
性质：又称前束。指汽车左右两前轮装配时，使两前轮的前端间距小于后端间距。一般前束量为3～6mm。当前轮前束与前轮外倾的作用相抵消时，前轮可不产生侧滑而回转，保持直线行驶状态。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条