Research on conversion from conjunctive normal form to disjunctive normal form

Computer Engineering and Applications ›› 2012, Vol. 48 ›› Issue (2): 15-17.

• 博士论坛 • Previous Articles Next Articles

Research on conversion from conjunctive normal form to disjunctive normal form

ZHI Huilai1, ZHI Dongjie1, LIU Zongtian2

1.School of Computer Science and Technology, Henan Polytechnic University, Jiaozuo, Henan 454000, China
2.School of Computer Engineering and Science, Shanghai University, Shanghai 200072, China

Received:1900-01-01 Revised:1900-01-01 Online:2012-01-11 Published:2012-01-11

从合取范式到析取范式的转换研究

智慧来1，智东杰 1，刘宗田2

1.河南理工大学计算机科学与技术学院，河南焦作 454000
2.上海大学计算机工程与科学学院，上海 200072

Abstract

Abstract: In order to calculate the discernable function of rough set, intent reduction of concept lattice of formal concept analysis and rule simplification in logic program design, that conversion from Conjunction Normal Form（CNF） to Disjunction Normal Form（DNF） is proposed as a critical problem. By using minimal cover, realize the conversion from CNF to DNF and give an incremental algorithm. In order to expand the use of normal form conversion, define a pseudo-CNF, and give the conversion method form pseudo-CNF to DNF.

Key words: conjunctive normal form, disjunctive normal form, minimal cover, normal form conversion

摘要： 为了解决粗糙集分辨函数的计算、概念格中内涵缩减的计算、逻辑程序设计的规则简化等问题，抽象出了从合取范式到析取范式转换这一核心问题。提出了利用极小覆盖来实现从合取范式到析取范式的转换，给出了一个增量式的算法。为了扩大范式转换的使用范围，定义了伪合取范式，并给出伪合取范式到析取范式的转换方法。

关键词: 合取范式, 析取范式, 极小覆盖, 范式转换

ZHI Huilai1, ZHI Dongjie1, LIU Zongtian2. Research on conversion from conjunctive normal form to disjunctive normal form[J]. Computer Engineering and Applications, 2012, 48(2): 15-17.

智慧来1，智东杰 1，刘宗田2. 从合取范式到析取范式的转换研究[J]. 计算机工程与应用, 2012, 48(2): 15-17.

[1]	ZHI Huilai. Dichotomy approach for information system attribute reduction [J]. Computer Engineering and Applications, 2014, 50(9): 21-24.
[2]	GONG Zhiwei1, LIU Renren2. Minimal covering for precomplete sets in partial four-valued logic [J]. Computer Engineering and Applications, 2012, 48(23): 52-57.
[3]	SUN Lihua, ZHANG Xingfang, LI Youyu. Pseudo duality and pseudo law of excluded middle in logic systems [J]. Computer Engineering and Applications, 2012, 48(14): 60-62.
[4]	JIN Huixia1，HE Qian2. Decision of Sheffer functions in partial four-valued logic [J]. Computer Engineering and Applications, 2011, 47(29): 140-142.
[5]	HE Qian，LIU Ren-ren. Conformational and determinant algorithm on Sheffer function in partial two-valued logic [J]. Computer Engineering and Applications, 2010, 46(5): 28-30.
[6]	WANG Ting-ming. Type of conclusions and classification of theories in two-valued propositional logic [J]. Computer Engineering and Applications, 2009, 45(3): 64-65.
[7]	HE Qian,LIU Ren-ren. Determinant algorithm of Sheffer function in partial three-valued logic [J]. Computer Engineering and Applications, 2009, 45(19): 52-54.
[8]	Liu Yuzhen. Results on decision of the minimal covering members for regular separable relation [J]. Computer Engineering and Applications, 2007, 43(5期): 28-29.
[9]	LIU Yu-zhen，LIU Ren-ren. Some results on decision for minimal covering in partial K-valued logic [J]. Computer Engineering and Applications, 2007, 43(23): 38-39.
[10]	Kang Zhou,. Closed Circle DNA Algorithm of the Minimal Covering Problem [J]. Computer Engineering and Applications, 2006, 42(20期): 7-.

Research on conversion from conjunctive normal form to disjunctive normal form

从合取范式到析取范式的转换研究

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 10

Recommended Articles

Metrics