您要查找的是不是：
- The theory foundation of machanical the- orem proving is the Herbrand theorem,refutation and a conjunctive normal form theorem. Herbrand定理和范式定理是机器证明的理论基础.
- 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 . 当数据立方查询条件不是合取范式时，一般是将它转化成为若干合取范式的并的形式(析取范式)。
- Then the above learned information in the conjunctive normal form clauses is used to restrict and focus the overall search space of SAT-based test pattern generation. 之后从该图中学习出引起冲突赋值的合取范式子句，将这些学习的子句增补到子句库中，用以限制和修剪测试生成的搜索空间，从而加速测试模式的生成过程。
- After this preprocessing step, Adaptive Server Anywhere attempts to normalize the original search condition into conjunctive normal form (CNF). 在这一预处理步骤之后,Adaptive Server Anywhere会尝试将初始搜索条件规范化为连接性规范形式(CNF)。
- This method uses quantified conjunctive normal form (CNF) formulas to represent the unknown constraints in the circuit under verification, and needs no modification of the circuit structure so that it saves the computational resources significantly. 该方法使用量化的合取范式 (CNF)来表示电路中出现的未知约束 ;并且不需要修改电路结构 ;有效地节省了计算资源 .
- Three measures are introduced to guide the clustering process, and a procedure to generate CNF(conjunctive normal form) rules for clusters are formed. 然后;提出了三种正例集合的自动聚类和划分方法:相似性度量、差异度量和规则长度等;并设计了一种快速的合取规则学习方法.
- Aiming at the problem of equivalent conversion from conjunctive normal form to disjunctive normal form, an effective algorithm was proposed to construct reduction tree based on discernibility matrix. 摘要针对差别矩阵求约简过程中合取范式向析取范式等价转换的难题，提出一种基于差别矩阵构造约简树的有效方法。
- Principal Disjunctive and Conjunctive Normal Form 主范式的运算性质
- principle conjunctive normal form 主合取范式
- principal conjunctive normal form 主合取范式
- The satisfiability problem of conjunction normal form (abbreviate SAT problem) is an NP_complete problem. 合取范式可满足性问题(简称SAT问题)是一个NP完全问题。
- Based on paper [1] and [2], this paper gives two generating algorithms to calculate and output the special conjunctive normal forms and special disjunctive forms of given propositional formulas automatically and formally. 摘要在文[1]和文[2]的基础上，给出了命题逻辑中任一命题公式的主析取范式和主合取范式的自动生成算法，并实现了多个命题公式主范式的同时形式化输出。
- principle conjunction normal form 主合取范式
- Prenex normal form of the first order logic propositional is the key to propositional logic. 对于一阶谓词化为其前束范式问题，一般可以通过三个步骤完成，首先去掉逻辑式中的连接词；
- special conjunctive normal form 特异合取范式
- major conjunctive normal form 主合取范式
- Modernity has its normal form and alienated form. 而现代性又有着它的合理形态与异化形态。
- The body as a Normal Form of Thinking? 身体:作为一种思维的范式?
- regular conjunctive normal form 正则合取范式
- conjunctive normal form 合取范式
