Boolean Algebra And Its Application

Introductory treatment begins with set theory and fundamentals of Boolean algebra, proceeding to concise accounts of applications to symbolic logic, switching circuits, relay circuits, binary arithmetic, and probability theory. 1961 edition.

Written by prominent experts in the field, this monograph provides the first comprehensive, unified presentation of the structural, algorithmic and applied aspects of the theory of Boolean functions. The book focuses on algebraic representations of Boolean functions, especially disjunctive and conjunctive normal form representations. This framework looks at the fundamental elements of the theory (Boolean equations and satisfiability problems, prime implicants and associated short representations, dualization), an in-depth study of special classes of Boolean functions (quadratic, Horn, shellable, regular, threshold, read-once functions and their characterization by functional equations) and two fruitful generalizations of the concept of Boolean functions (partially defined functions and pseudo-Boolean functions). Several topics are presented here in book form for the first time. Because of the depth and breadth and its emphasis on algorithms and applications, this monograph will have special appeal for researchers and graduate students in discrete mathematics, operations research, computer science, engineering and economics.

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

Concise text begins with overview of elementary mathematical concepts and outlines theory of Boolean algebras; defines operators for elimination, division, and expansion; covers syllogistic reasoning, solution of Boolean equations, functional deduction. 1990 edition.

"Utilizing a systematic, broad approach, Introduction to the Comparative Method With Boolean Algebra gives readers the logical foundations of comparison with guided applications and is the ultimate comparative method text covering each of the current and most important issues in the field. Author Daniele Caramani discusses the elements of scientific research, including Mill's methods, Boolean algebra, classification and typologization, and necessary and sufficient conditions, and how these apply to concrete research in the social sciences." "This text is indispensable for upper-level undergraduate and graduate students as well as researchers interested in methodology, behavioral and social sciences, history, and logic."--BOOK JACKET.