Research on conversion from conjunctive normal form to disjunctive normal form
Zongtian Liu · Computer Engineering and Applications Journal · 2012
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.