Application of the symbolic logic of Boole and Schroeder to the design of switching systems. Topics include Boolean algebra, Boolean analysis, the solution of logic equations, the minimization of Boolean formulas, and the diagnosis of failures in digital systems.