Both examples seem rather obvious to me. The first one adds the carries onto the bitwise sum, similar to a carry ripple adder. The second subtracts the carries

Both examples seem rather obvious to me. The first one adds the carries onto the bitwise sum, similar to a carry ripple adder. The second subtracts the carries from the result to retrieve the bitwise sum (XOR).