... Normal-form game 正则形式的博弈 normal conjunctive form 标准的逻辑乘法形式 Normal-form 标准形式 ...
基于16个网页-相关网页
conjunctive normal form [数] 合取范式 ; 连接标准形式 ; 合取正常形式
prenex-conjunctive normal form 前束合取范式 ; 合取正规形式
quantifier-free conjunctive normal form 自由量词合取范式
CNF-conjunctive normal form 合取范式
major conjunctive normal form 合取范式
Special Conjunctive Normal Form 主合取范式
distinguished conjunctive normal form 杰异合取范式
quantifier-free 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.
讨论了命题公式的主析取范式、主合取范式中的极小项与极大项下标集合的性质,利用主范式的下标集合得到了命题公式蕴涵的几个充要条件。
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.
引入了一个饱和合取范式的概念,利用饱和合取范式的性质,对SAT问题的本质进行了研究。
应用推荐