A Functional Approach to the Theory of Prime Implicants Frank Markham Brown; Sergiu Rudeanu — 1986 Publications de l'Institut Mathématique