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
Subject Areas
OpenAlex SDG Match
SDGs auto-classified by OpenAlex (score ≥ 0.4 shown).