Half adder is a combinational arithmetic circuit that adds two numbers and produces a SUM bit (s) and CARRY bit (c) both as output.
It produces the DIFFERENCE between the two binary bits at the input and also produces an output (BORROW) to indicate if a 1 has been borrowed.
Diff= A’B+AB’
Borrow = A’B