合取范式可满足性问题(简称SAT问题)是一个NP完全问题。
The satisfiability problem of conjunction normal form (abbreviate sat problem) is an NP_complete problem.
合取范式可满足性问题(简称SAT问题)是一个NP完全问题。
The satisfiability of conjunction normal form (abbreviate sat problem) is a typical NP-complete problem.
结果表明，当查询条件不是合取范式时，该优化策略明显提高了查询性能。
And the result shows that this optimal strategy can improve query performance saliently if the query constraint expression is not a CNF.
文章提出一种快速有效发现意外规则的算法，该算法允许规则的结果为合取范式。
This paper presents a fast and efficient algorithm for discovering exceptional rules from data sets. This algorithm permits that the consequent of a rule is a conjunctive normal form.
查询条件的生成采用的是合取范式的标准形式，用户界面的生成采用了标准的可视对象。
The logic of disjoint-well-formed-formula is adopted in the generation of query conditions, and standard visual objects are used in the generation of GUI.
引入了一个饱和合取范式的概念，利用饱和合取范式的性质，对SAT问题的本质进行了研究。
An new concept of saturated conjunctive normal form is introduced and the nature of sat problem is studied for utilizing the characteristic of saturated conjunctive normal form.
针对差别矩阵求约简过程中合取范式向析取范式等价转换的难题，提出一种基于差别矩阵构造约简树的有效方法。
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.
讨论了命题公式的主析取范式、主合取范式中的极小项与极大项下标集合的性质，利用主范式的下标集合得到了命题公式蕴涵的几个充要条件。
With respect to the principal disjunctive normal form and the principal conjunctive normal form, we also approach the properties of the subscript sets derived from the minimum term and maximum term.
实际应用中给出一种简化算法：一边从信息表中提取差别元素构成合取范式，一边用分配律、吸收律作逻辑公式的等价变换，直接得到最小析取范式。
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.
实际应用中给出一种简化算法：一边从信息表中提取差别元素构成合取范式，一边用分配律、吸收律作逻辑公式的等价变换，直接得到最小析取范式。
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.
应用推荐