simulate this circuit – Schematic created using CircuitLab
If this circuit is a part of a 4 bit full adder, where A1,B1 are adder inputs and C1 is carry in from previous bit, does C2 give the correct output for the carry out bit? According to my calculations C2 doesnot, although S1 generates the correct value of the sum. Please, I need a cross-check.