您要查找的是不是：
- The satisfiability problem of conjunction normal form (abbreviate SAT problem) is an NP_complete problem. 合取范式可满足性问题(简称SAT问题)是一个NP完全问题。
- principle conjunction normal form 主合取范式
- 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 主合取范式
- 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]的基础上，给出了命题逻辑中任一命题公式的主析取范式和主合取范式的自动生成算法，并实现了多个命题公式主范式的同时形式化输出。
- conjunction normal form 合取范式
- Modernity has its normal form and alienated form. 而现代性又有着它的合理形态与异化形态。
- The body as a Normal Form of Thinking? 身体:作为一种思维的范式?
- The automatic generation algorithm of discernibility function 's disjunctive normal form(DNF) is studied based on rough set theory. The tansformation method form discernibility matrix to conjunction matrix is presented. 基于粗糙集理论,研究分辨函数(DF)的析取范式的自动生成算法,提出由分辨矩阵到合取项矩阵(CM)的计算方法。
- In general, the volume and price of large-volume, or units run the normal form. 一般来说,价升量增、价跌量缩是大盘或个股运行的正常形态。
- The table is called the normal form or the strategic form of the game. 也称博弈的标准型或策略形式。
- We are working in conjunction with the police. 我们与警方配合进行工作。
