Table of Contents

I. Theoretical Foundations.- 1. Basic Algebraic Structures.- 2. Logic Functions.- 4. Boolean Differential Calculus.- 5. The Solution of Logic Equations.- II. Applications.- 6. Logics and Arithmetics.- 7. Combinational Circuits.- 8. Finite-State Machines.- III. Tools.- 9. Xboole.

Promotional Information

Springer Book Archives

Reviews

From the reviews of the first edition: "The book under analysis has two main features which distinguish it from the numerous other books devoted to the applications of the two-element Boolean algebra to computer science and related fields. The first characteristic is the manner in which the beginner is introduced to the field. The authors adopt a strongly conversational style. … The other main feature of this book is the crucial role played by the authors’ own research on Boolean differential calculus … ." (Sergiu Rudeanu, Zentralblatt MATH, Vol. 1087, 2006)