1)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表面计算。
英文短句/例句
1.A Surface-based DNA Algorithm for the Conversion of Conjunctive Normal Form into Disjunctive Normal Form合取范式化为析取范式的DNA表面计算
2.The satisfiability problem of conjunction normal form (abbreviate SAT problem) is an NP_complete problem.合取范式可满足性问题(简称SAT问题)是一个NP完全问题。
3.And the result shows that this optimal strategy can improve query performance saliently if the query constraint expression is not a CNF.结果表明，当查询条件不是合取范式时，该优化策略明显提高了查询性能。
4.quasi-prenex conjunctive kernel normal form function拟前束合取核范式函数
5.quasi-prenex disjunctive kernel normal form function拟前束析取核范式函数
6.The Political Participation of Chinese Citizen: A New Tendency;我国公民政治参与范式转换的新取向
7.Checking the Satisfiability of ALCN-concepts with a Complete DNF完全析取范式检测ALCN-概念的可满足性
8.Nature,Value Orientation and Analytical Paradigm of Economics经济学的本质、价值取向与分析范式
9.One of the components of a conjunction.合取支合取式的一个命题
10.The set of values that an independent variable can have.自变量可取值的范围或集合。
11.Obtain forms in books or CD-ROM.从书中或者是光盘上获取合同范本。
12.An Investigation on the Algorithm for Decision of Validity of Disjunctive Normal Form (DNF) by the Triangle Form用三角式判定析取范式永真性的算法研究
13.It depends upon which form the joint venture takes.于: 这取决于合资企业所采取的形式。
14.Determinants of Vandermonde-like and Confluent Vandermonde Matrices范德蒙类矩阵与合流范德蒙矩阵的行列式
15.A GLOBAL ANALYSIS ON THE CONSTRUCTION OF DISJUNCTIVE NORMAL FORM (DNF)对于析取范式的构造的一个全局性分析
16.A Study on the Paradigm Orientation of Chinese Administrative System Reform in the Transitional Period;转型时期中国行政体制改革范式取向研究
17.The Tropism of Humanism for Educational Research Paradigm in China;我国教育研究范式的人文主义取向问题研究
18.Evolutionary Viewpoint: A New Approach to Cognitive Science Study Paradigm;认知进化观:认知科学研究范式的新取向
相关短句/例句
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中的子句。
3)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 .当数据立方查询条件不是合取范式时，一般是将它转化成为若干合取范式的并的形式(析取范式)。
4)principal conjunctive normal form主合取范式
1.Both the principal conjunctive normal form of simple disjunction and the principal disjunction normal form of simple conjunction are expressed as the digital form in this paper.本文对简单合取式的主析取范式及简单析取式的主合取范式作了数字形式上的表示 ,在一定程度上简化了自然推理系统 P。
5)Weak conjunctive normal form弱合取范式
6)Minimal conjunctive form极小合取范式
延伸阅读
合取范式合取范式conjunctionnormalform命题公式的一种标准形，设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。一个命题公式的合取范式可以通过真值表得到，也可以通过等价变换得到。命题公式还有另一种范式，析取范式。析取范式的定义与合取范式对偶，只要把合取与析取对换就可以由合取项得到析取项，由合取范式得到析取范式。
