Contents: 1. Fundamental Concepts. 2. Boolean Algebras. 3. The Blake Canonical Form. 4. Boolean Analysis. 5. Syllogistic Reasoning. 6. Solution of Boolean Equations. 7. Functional Deduction. 8. Boolean Identification. 9. Recursive Realizations of Combinational Circuits. 10. Syllogistic Formulas. Bibliography. Index. Revised and corrected republication of the edition published by Kluwer Academic Publishers, Boston, 1990. From Buy.com for $10.37
Boolean Reasoning: The Logic of Boolean Equations
"The author writes very well ... provid[ing] a solid foundational (graduate-level) text for mathematicians, engineers, and logicians ... the author does a good job of drawing examples from the field of logic designed to illustrate useful applications of theory."--Randal E. Bryant, "Carnegie Mellon University A systematic treatment of Boolean reasoning, this concise, newly revised edition combines the works of early logicians with recent investigations, including previously unpublished research results. The book begins with an overview of elementary mathematical concepts and outlines the theory of Boolean algebras, based on Huntington's postulate. It defines operators for elimination, division, and expansion, providing a systematic basis for subsequent discussions of syllogistic reasoning, the solution of Boolean equations, and functional deduction. Two concluding chapters deal with applications; one applies Boolean reasoning to diagnostic problems, and the other discusses the design of multiple-output logic-circuits. 1990 edition. 18 figures. 19 tables. From Walmart for $10.46
|
