conjunctive normal form

conjunctive normal form的基本解释

-

[计] 合取范式

与conjunctive normal form相关的网络例句 [注：此内容来源于网络，仅供参考]

. Finally, let us consider formulae that are a conjunction of clauses - this is the conjunctive normal form.

最后，让我们考虑公式是一个连词的条款-这是正常的连接形式。

Reducing expressions to conjunctive normal form provides a ready method of determining the equivalence of two Boolean expressions.

把表达式化简为合取范式提供了一种判定两个布尔表达式等价的简便方法。

Disjunctive Normal Form and Conjunctive Normal Form of both-branch fuzzy logic expressions.

以及双枝模糊逻辑的析取范式与合取范式。

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.

针对差别矩阵求约简过程中合取范式向析取范式等价转换的难题，提出一种基于差别矩阵构造约简树的有效方法。

The problem remains NP-complete even if all expressions are written in conjunctive normal form with 3 variables per clause (3-CNF), yielding the 3SAT problem.

问题依然存在NP完全问题，即使所有的表现形式是书面的合取范式与3个变量为第（ 3合），收益率的3SAT问题。

与conjunctive normal form相关的网络解释 [注：此内容来源于网络，仅供参考]

conjunctive normal form：合取范式

conjunction 与运算 | conjunctive normal form 合取范式 | conjunctive query 合取查询

conjunctive normal form：合取正规式

共轭相合矩阵 conjunctive matrices | 合取正规式 conjunctive normal form | 合取变换 conjunctive transformation

conjunctive normal form：正则合取范式

"组合数","combination number" | "正则合取范式","conjunctive normal form" | "直径","diameter"

quantifier-free conjunctive normal form：自由量词合取范式

量詞範疇 quantifier scoping | 自由量詞合取範式 quantifier-free conjunctive normal form | 量化知識複雜度 quantify knowledge complexity

CNF Conjunctive Normal Form：连接标准形式

CNEPA Certified Novell Engineer Professional Association 网威公司确定授权工程师的专业学会 | CNF Conjunctive Normal Form 连接标准形式 | CNF Custom Number Formatting 客户编号格式化