Concise text begins with overview of elementary mathematical concepts and outlines theory of Boolean algebras; defines operators for elimination, division, and

Reasoning in Boolean Networks provides a detailed treatment of recent research advances in algorithmic techniques for logic synthesis, test generation and forma

Orignally published: Englewood Cliffs, N.J.: Prentice-Hall, 1962.

Introductory treatment begins with set theory and fundamentals of Boolean algebra, proceeding to concise accounts of applications to symbolic logic, switching c

Concise and informal as well as systematic, this presentation on the basics of Boolean algebra has ranked among the fundamental books on the subject since its i