The sum can, therefore, be produced using a circuit that
corresponds to the Boolean expression for exclusive
or : (P ∨ Q) ∧ ∼ (P ∧ Q). Hence, a circuit to add two binary
digits P and Q can be constructed as in Figure 2.5.1. This
circuit is called a half-adder