\;}{NAND}(i_1,i_2,o)\ .$$
Using this representation, define the one-bit adder in
Figure <a class="insideExercisesFigRef" href="#4bit-adder-figure">adder-figure</a> and the four-bit adder in
Figure <a class="insideExercisesFigRef" href="#4bit-adder-figure">adder-figure</a>, and explain what queries you
would use to verify the designs. What kinds of queries are
*not* supported by this representation that
*are* supported by the representation in
Section <a class="sectionRef" title="" href="#">circuits-secti