full disjunctive normal form

Proceeding with both-branch proposition,the paper provides the characteristics of both-branch fuzzy logic and both-branch fuzzy logic expressions,Disjunctive Normal Form and Conjunctive Normal Form of both-branch fuzzy logic expressions.

从双枝模糊命题入手,给出双枝模糊逻辑的性质和双枝模糊逻辑公式,以及双枝模糊逻辑的析取范式与合取范式。

In this paper, through the use of the disjunctive normal form and the principal disjunctive normal form, we propose some general algorithms concerning the grand minimal dominant set, the minimum dominant set, the minimal edge dominant set, and the minimum edge dominant set of graphs.

给出了利用命题逻辑公式的析取范式和主析取范式求图的全部极小支配集和最小支配集以及全部极小边支配集和最小边支配集的一般算

In this paper, we make use of disjunctive normal form and prinpical disjunctive normal form to give some methods of independent set and maximal independent set,as well as a general algorithm.

给出了利用命题逻辑公式的析取范式和主析取范式求图的独立集和极大独立集的方法 ,并给出了一般算法 。

The automatic generation algorithm of discernibility function ’s disjunctive normal form(DNF) is studied based on rough set theory.

基于粗糙集理论,研究分辨函数(DF)的析取范式的自动生成算法,提出由分辨矩阵到合取项矩阵(CM)的计算方法。

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 .

当数据立方查询条件不是合取范式时，一般是将它转化成为若干合取范式的并的形式(析取范式)。

Seeking the main disjunctive normal form mainly includes the following four methods,the truth table method,the deductive method,the main disjunctive normal form using the truth table method to seek the G,and the main conjunctive normal form using the deductive method to seek the G.

求主析取范式包括真值表法、推演法以及用真值表法求G的主析取范式、用推演法求G的主合取范式等四种方法。

Taking into cousideration that traditional main disjunctive normal form is complicated,through a discussion on the suffix features of miniterm,by using the binary,the author offers a binary calculating approach to main disjunctive normal form determined by disjunctive normal form.

针对解决求主析取范式的传统方法比较繁琐的情况,通过对极小项下标特征的讨论,利用二进制给出了由命题公式的析取范式确定主析范式中的二进制求法,从而简化了由繁杂的命题公式推演或真值表计算求主析取范式的计算过程,给出了求命题公式主析取范式的简便求法——表格法。

In this paper, through the use of the disjunctive normal form and the principal disjunctive normal form, we propose some general algorithms concerning the grand minimal dominant set, the minimum dominant set, the minimal edge dominant set, and the minimum edge dominant set of graphs.

给出了利用命题逻辑公式的析取范式和主析取范式求图的全部极小支配集和最小支配集以及全部极小边支配集和最小边支配集的一般算

Pan-Boolean algebra is used to prove that two logical expressions of one decision list with the complete conditional attribute(the disjunctive expression and the implicative expression) are logically equivalent.

继而证明了不完全决策表在1型解释下,其析取范式表达式仍与完全决策表的析取范式表达式形式相同,但与其等价的蕴涵式表达式却比完全决策表的蕴涵式表达式多了一串乘积;而不完全决策表在2型解释下,其蕴涵式表达式仍与完全决策表的蕴涵式表达式形式相同,但与其等价的析取范式表达式却比完全决策表的析取范式表达式多了一串和式。

Checking the Satisfiability of ALCN-concepts with a Complete DNF

完全析取范式检测ALCN-概念的可满足性

A GLOBAL ANALYSIS ON THE CONSTRUCTION OF DISJUNCTIVE NORMAL FORM (DNF)

对于析取范式的构造的一个全局性分析

A Surface-based DNA Algorithm for the Conversion of Conjunctive Normal Form into Disjunctive Normal Form

合取范式化为析取范式的DNA表面计算

quasi-prenex disjunctive kernel normal form function

拟前束析取核范式函数

Nature,Value Orientation and Analytical Paradigm of Economics

经济学的本质、价值取向与分析范式

An Investigation on the Algorithm for Decision of Validity of Disjunctive Normal Form (DNF) by the Triangle Form

用三角式判定析取范式永真性的算法研究

AN ANALYSIS ON THE CONSTRUCTION OF DISJUNCTIVE NORMAL FORM(DNF) BY MEANS OF EQUAL COVERING AND CONE FORM

用均覆盖和锥形式对析取范式的结构分析及其近似快速求解算法

The satisfiability problem of conjunction normal form (abbreviate SAT problem) is an NP_complete problem.

合取范式可满足性问题(简称SAT问题)是一个NP完全问题。

quasi-prenex conjunctive kernel normal form function

拟前束合取核范式函数

For this purpose, teachers can take the measure of demonstrating performance, audio-visual media and text analysis.

教学可采取示范性的表演、电教手段、课文分析等多种形式。

Globalization’s Effects on the Analytic Unit and the Thinking Pattern of Social Science;

全球化压力下的社会科学分析单位转换与思维范式创新

The legal supervision of the e-business network security: from autonomy to norm

电子商务中网络安全的法律监管:从自治到规范——基于C2C模式的分析

The Political Participation of Chinese Citizen: A New Tendency;

我国公民政治参与范式转换的新取向

Time Process-Oriented Feature-Model Distilling and N-1 Static Security Analysis Research;

面向时间过程的特征模式提取及N-1静态安全分析研究

Development of Combustion Analyzer and Multi-pulse Injection System Used on Total Cylinder Dumpling Apparatus;

全气缸取样装置中燃烧分析系统及多脉冲喷油模式的开发

Safety regulations of belt conveyor

GB/T14784-1993带式输送机安全规范

GLOBAL DATA MODEL──INF RELATION MODEL

全局数据模型──非一范式关系模型

On A New Mode of Equipment Management--All-Members Standardized Management;

论设备管理新模式——全员规范性管理