Half adder: circuit
s = \xy + x\y = x XOR y
c = xy
Circuit: