Extend the vocabulary from Section 8.4 to define addition for n-bit binary numbers. Then encode the description of the four-bit adder in Figure and pose the queries needed to verify that it is in fact correct.

Transcribed Image Text:

Xo Yo Ado Х, х, х, Ха Ad; Y, Y, Y, Yo Adz X3 Ad,