mod-2 adder with carry-in/out
x
y
carry
sum
sum(x, y, c) = x + y + c
carry(x, y, c) = x y + x c + y c
= majority(x, y, c)
c (carry-in)