Understanding the Circuit.
The given circuit consists of:
- A Full Adder (FA)
- An XOR gate that inverts \( y \) (i.e., \( y' = y \oplus 1 = \bar{y} \))
- A Carry-in value of 1
Binary Subtraction via Two’s Complement:
\[
A - B = A + \bar{B} + 1
\]
Here:
- \( x \) is directly passed to the FA.
- \( y \) is complemented via XOR with 1.
- Carry-in = 1.
This is the standard way to perform subtraction using addition, confirming that the circuit acts as a subtractor.