disjunctive normal form

disjunctive normal form的基本解释

-

[计] 析取范式

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

To tackle this problem, a novel Complete Disjunctive Normal Form algorithm was presented to check the satisfiabilities of acyclic ALCN-concepts.

为此，提出了一个全新的对非循环定义的ALCN-概念可满足性进行判断的完全析取范式算法。

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

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

A new complete disjunctive normal form, which is in the sense of equivalence, to an extension system of medium logical proposition calculus MP is defined and the theorem of its existence and uniqueness is established and proved.

讨论中介逻辑命题演算扩张系统MP＊中在等值意义下的完全析取范式的存在性和唯一性。引入MP＊中等值全析范式的概念，并用分步构造法证明这种范式在等值意义下是存在的，且是唯一的。

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.

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

Combinatorial theory was adopted to build the general model of predicative concepts , which were further defined on the conjunctive normal form and the disjunctive normal form of prepositional logic Then we set up the concepts evaluation model consisting of the indexes as completeness, consistency, simplicity and inner consistency.

应用数理逻辑理论，定义了基于CNF范式和DNF范式的概念的命题逻辑表示形式，建立了包含概念的完整性、一致性、简单性和内部一致性的比较完整的概念评价的指标体系和模型。

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

disjunctive normal form：析取范式

disjunction 或 | disjunctive normal form 析取范式 | disjunctive search 按或检索

disjunctive normal form：析取正规形式

析取合取目标树 disjunctive conjunctive goal tree | 析取正规形式 disjunctive normal form | 析取搜寻 disjunctive search

disjunctive normal form：正则析取范式

"直和","direct sum" | "正则析取范式","disjunctive normal form" | "整除","divisibility"

disjunctive normal form：abbr. dnf; 析取范式

full disjunctive normal form：全析取范式

full configuration 完全配置 | full disjunctive normal form 全析取范式 | full drive pulse 全驱动脉冲