PUBLICATIONS DE L'INSTITUT MATHÉMATIQUE (BEOGRAD) (N.S.)Vol. 40(54), pp. 23--32 (1986)
|
|
PUBLICATIONS DE L'INSTITUT MATHÉMATIQUE (BEOGRAD) (N.S.) Vol. 40(54), pp. 23--32 (1986) |
|
|
A FUNCTIONAL APPROACH TO THE THEORY OF PRIME IMPLICANTSFrank Markham Brown and Sergiu RudeanuDepartment of Electrical Engineering, University of Kentucky USA and Faculty of Mathematics, University of Bucharest, Bucharest, RomaniaAbstract: The theory of prime implicants has been developed independently to simplify truth-functions (Quine, 1952) and to solve inferential problems in propositional logic (Blake, 1937). The object of this paper is to generalize Blake's approach, which unlike Quine's is little known, in the setting of function theory. We begin by developing an axiomatic theory of prime implicants within the general framework of finite join semilattices; Blake's concepts of syllogistic representation and canonical form are defined naturally within this framework. We next specialize this axiomatic theory to simple Boolean functions (equivalently, propositional functions) to obtain the classical theory of prime implicants. Finally, we derive the theory of prime implicants for general Boolean functions, together with a few results specific to such functions. Classification (MSC2000): 06E30, 03605, 94C10 Full text of the article:
Electronic fulltext finalized on: 2 Nov 2001. This page was last modified: 22 Aug 2002.
© 2001 Mathematical Institute of the Serbian Academy of Science and Arts
|