ABSTRACT
Unlike the other two chapters, this one is not about logic per se but about an algebraic system that arises from logic. The following table shows how symbols of propositional logic are to be replaced by symbols of Boolean algebra, although mathematically there is more to it than just using different notation:
Propositional logic Boolean algebra ≡ = ∨ + ∧ · ¬ ¯ t 1 f 0
Boolean algebra provides a bridge between logic and the real world because it is used in the design of the kinds of circuits needed to build computers. You can, if you wish, skip this chapter or return to it after Chapter 3; only Section 2.1 is needed for Chapter 3.
