A decomposition method for simplifying propositional functions
By: by C. C. Pinter.
Series: University of Oklahoma. Dept. of Mathematics. Preprints, 74
Publisher: University of Oklahoma]
Published: 1968
Place of publication: [Norman
Language: eng
Subjects: Propositional calculus.; Truth-functions.
Notes: Bibliography: leaf 9.