On Duality Concepts regarding Hypergraphs and Propositional Formulas
Stefan Porschen · 2015
There is a well known duality concept in propositional logic (cf. e.g. [3, 14]) essentially relating CNF formulas to tautologically equivalent DNF formulas. In this paper we propose and discuss another duality principle in propositional logic based on a set theoretic duality interchanging clauses and literals, thus working for arbitrary normal form formulas. This concept is closely related to a set theoretic approach to hypergraph duality which is discussed in