13 Jul 2026
Verification of Half Adder and Full Adder Circuits
Aim
To construct and verify half-adder and full-adder circuits using basic logic gates.
Apparatus
Digital trainer, XOR, AND, OR, and NAND ICs, regulated $5$ V supply, switches, LEDs, and patch cords.
Experimental arrangement

Theory
Binary addition is performed column by column. Adding two one-bit numbers produces a sum bit and, when both input bits are one, a carry bit to the next column. Therefore a half-adder has the outputs $S=A\oplus B$ and $C=AB$. The exclusive-OR gives the sum because the sum is one when the inputs are unlike; the AND gives the carry because both inputs must be one.
A full adder must also add the carry received from the preceding column. It can be made from two half adders and an OR gate:
\(S=A\oplus B\oplus C_{in},\) \(C_{out}=AB+C_{in}(A\oplus B).\)
Observations
| $A$ | $B$ | $C_{in}$ | Sum $S$ | Carry $C_{out}$ |
|---|---|---|---|---|
| 0 | 0 | 0 | 0 | 0 |
| 0 | 1 | 0 | 1 | 0 |
| 1 | 0 | 1 | 0 | 1 |
| 1 | 1 | 0 | 0 | 1 |
| 1 | 1 | 1 | 1 | 1 |
Result
The observed outputs agree with the truth tables of the half adder and full adder.
Viva Questions
- Why does a full adder need three inputs? It adds two data bits and the carry from the preceding stage.
- What is the half-adder carry expression? $C=AB$.
- How can a full adder be made from half adders? Use two half adders followed by an OR gate for their carry outputs.
Discussion