Application for Logical Expression Processing
Marcin Michalak, Michal Dubiel, Jolanta Urbanek · 2016
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.