This book is a remarkably thorough and precise introduction to the theory of Boolean functions. In general, it is well written and has very few typographical mistakes. The author intends it to be both a text and a reference. As a text, it will do well for classes of serious graduate or upper-level undergraduate students. It is not for the casual reader as its precision of notation is somewhat demanding. The exercises at the end of each chapter are few in number but require rather thoughtful work. The author provides solutions for all the exercises at the back of the book. The list of references is more than adequate, but the subject index is rather sparse.

After introducing fundamental concepts and diagrams for Boolean analysis, the book devotes three chapters to normal forms of Boolean formulae. This section includes significant discussions of algorithms such as decomposition, finding prime implicants, and minimization of normal forms. The author devotes an entire chapter to the Boolean difference calculus. The discussion of the stochastic theory of Boolean functions is remarkably thorough and will serve as a solid foundation for a course in device reliability theory.