000			01373nam a2200181 4500
001			12968875
010			_a 2002072864
020			_a0486427854 (pbk.)
082	0	0	_a511.324 _bBRO/B
100	1		_aBrown, Frank Markham,
245	1	0	_aBoolean reasoning : the logic of boolean equations
250			_a2
260			_aMineola, N.Y. _bDover Publications _c2003
300			_axi, 291 p. _bill.
520			_aA systematic treatment of Boolean reasoning, this concise, newly revised edition combines the works of early logicians with recent investigations, including previously unpublished research results. For the benefit of readers without formal training in mathematics, the text starts 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 coherent and systematic basis for subsequent discussions of syllogistic reasoning, the solution of Boolean equations, and functional deduction. Examples and end-of-chapter problems appear throughout the book, many taken from the design for switching systems. Two concluding chapters deal with applications; one applies Boolean reasoning to diagnostic problems, and the other discusses the design of multiple-output logic-circuits.
650		0	_aAlgebra, Boolean
942			_cBK
999			_c64493 _d64493