出版社：Academy & Industry Research Collaboration Center (AIRCC)
摘要：Processing of logical expressions – especially a conversion from conjunctive normal form(CNF) to disjunctive normal form (DNF) – is very common problem in many aspects ofinformation retrieval and processing. There are some existing solutions for the logical symboliccalculations, but none of them offers a functionality of CNF to DNF conversion. A newapplication for this purpose is presented in this paper.
