In the last section, we went from a verbal description of a combinational system to a more formal and exact description—a truth table. Although the truth table is sufficient to implement a system using read-only memory (see Chapter 5), we need an algebraic description to analyze and design systems with other components. In this section, we will develop the properties of switching algebra.