In a Full Adder what's wrong with [c.(a+b) + a.b] as the expression of the Carry-Out? I checked it with truth table and gives correct output. But in all books the expression is [c.(a XOR b) + a.b].

  • 1
    \$\begingroup\$ Both are correct \$\endgroup\$
    – sarthak
    Oct 12, 2017 at 9:44

1 Answer 1


You can write \$(A + B)\$ as \$A\cdot B + A \oplus B\$.


\$C \cdot(A+B) + A\cdot B = C \cdot (A\oplus B) + C \cdot A \cdot B + A\cdot B =\\ = C \cdot (A\oplus B) + (1+C) \cdot A \cdot B = C \cdot (A\oplus B) + A \cdot B \$

The latter formula is the one you intuitively get, when you calculate the carry: you have a carry out if at least two inputs are 1.

The books use the latter formula because you don't need to calculate again \$A \oplus B\$, because you can reuse the sum term \$S=A\oplus B\$ (i.e. you save one logic gate).


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.