Boolean algebra is the underlying mathematics of digital or logical circuits. In this section we look at digital circuits in terms of abstract Boolean algebra, and do not consider details of physical implementation (see Section 2.2).