The sum output of a Half Adder is the XOR operation: A XOR B = A·B' + A'·B. This produces 1 only when exactly one input is 1. A·B represents AND, A+B represents OR, and the expression in C is incomplete - it should represent complemented product terms for the XOR function.