Mathematics for Computer Science

3.6. Predicate Formulas 59

.nC1/-bit add 1

2.nC2/-bit add 1 module

.nC1/-bit add 1

a2nC 1 anC 2 anC 1

rn r 1 r 0

an a 1 a 0

p2nC 1 p2nC 2 pnC 1 pn p 1 p 0

c

c. 2 / c. 1 /

Figure 3.1 Structure of a Double-size Add1 Module.