文章基本信息

标题：Application for Logical Expression Processing
本地全文：下载
作者：Marcin Michalak ; Michał Dubiel ; Jolanta Urbanek 等
期刊名称：Computer Science & Information Technology
电子版ISSN：2231-5403
出版年度：2016
卷号：6
期号：8
页码：01-09
DOI：10.5121/csit.2016.60801
出版社：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.
关键词：Boolean Formulas; CNF; DNF; Symbolic Expressions