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

计算机工程与应用 ›› 2012, Vol. 48 ›› Issue (2): 15-17.

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

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

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

收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2012-01-11 发布日期:2012-01-11

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

摘要/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

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

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]	智慧来. 采用二分法的信息系统属性约简研究[J]. 计算机工程与应用, 2014, 50(9): 21-24.
[2]	孙丽华，张兴芳，李友雨. 逻辑系统中的拟对偶性与拟排中律[J]. 计算机工程与应用, 2012, 48(14): 60-62.
[3]	王廷明. 二值命题逻辑理论的结论类型和分类[J]. 计算机工程与应用, 2009, 45(3): 64-65.