8.3 Encode the description of the 4-bit adder in Figure 8.10 and pose queries to verify that it is in fact correct.

8.4 Write definitions for the following:

a. ExhaustivePartDecomposition

b. PartPartition

c. PartwiseDisjoint These should be analogous to those for ExhaustiveDecomposition, Partition, and Disjoint.

YO 22 Ado X1 Ad1 Y1 X2 Y2 X3 Y3 Figure 8.10 A 4-bit adder. ZO Z1 Z2 Ad2 Z3 Ad3 24 X3 X2 X1 XO + Y3 Y2 Y1 YO ZA Z3 Z2 Z1 ZO