The input to the adder are two numbers, each represented using two bits, or having two binary digits. So they can store a maximal value of binary “11”, which is 3 in decimal. The decimal value appears above each input.
These inputs are fed into a circuit of logic gates, which processes them according to the simple rules we defined above.
The output is made of three bits, or binary digits. Its decimal translation is shown below. You can verify that the output always equals the sum of the two inputs. This is a real working adder!
Next on our tour: some comments about bootstrapping and where this is referred to in the book.