The circuit is formed as shown below. The output S and C implement

A

Two bit adder with sum and carry respectively

B

Two bit subtractor with sum and borrow respectively

C

$$S=AB+\overline{A} \overline{B};C=\overline{A} B$$

D

None of the above