To construct a full binary adder circuit, we need three inputs and two outputs, as specified by the following truth table:
The truth table includes five columns as follows:
input A
input B
carry IN for the current column
resulting carry OUT (carry-over), generated for the next column
the resulting SUM.