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