Authors
Marcin Michalak, Michal Dubiel and Jolanta Urbanek, Silesian University of Technology, Poland
Abstract
Processing of logical expressions – especially a conversion from conjunctive normal form (CNF) to disjunctive normal form (DNF) – is very common problem in many aspects of information retrieval and processing. There are some existing solutions for the logical symbolic calculations, but none of them offers a functionality of CNF to DNF conversion. A new application for this purpose is presented in this paper.
Keywords
Boolean Formulas, CNF, DNF, Symbolic Expressions