Geodesic
A Functional Approach to the Theory of Prime Implicants
Publications de l'Institut Mathématique, _N_S_40 (1986) no. 54, p. 23 .

Voir la notice de l'article provenant de la source eLibrary of Mathematical Institute of the Serbian Academy of Sciences and Arts

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 : 06E30 03605 94C10 
@article{PIM_1986_N_S_40_54_a3,
     author = {Frank Markham Brown and Sergiu Rudeanu},
     title = {A {Functional} {Approach} to the {Theory} of {Prime} {Implicants}},
     journal = {Publications de l'Institut Math\'ematique},
     pages = {23 },
     publisher = {mathdoc},
     volume = {_N_S_40},
     number = {54},
     year = {1986},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/PIM_1986_N_S_40_54_a3/}
}
TY  - JOUR
AU  - Frank Markham Brown
AU  - Sergiu Rudeanu
TI  - A Functional Approach to the Theory of Prime Implicants
JO  - Publications de l'Institut Mathématique
PY  - 1986
SP  - 23 
VL  - _N_S_40
IS  - 54
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PIM_1986_N_S_40_54_a3/
LA  - en
ID  - PIM_1986_N_S_40_54_a3
ER  - 
%0 Journal Article
%A Frank Markham Brown
%A Sergiu Rudeanu
%T A Functional Approach to the Theory of Prime Implicants
%J Publications de l'Institut Mathématique
%D 1986
%P 23 
%V _N_S_40
%N 54
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PIM_1986_N_S_40_54_a3/
%G en
%F PIM_1986_N_S_40_54_a3
Frank Markham Brown; Sergiu Rudeanu. A Functional Approach to the Theory of Prime Implicants. Publications de l'Institut Mathématique, _N_S_40 (1986) no. 54, p. 23 . http://geodesic.mathdoc.fr/item/PIM_1986_N_S_40_54_a3/