In computer language, there is a logical operation in which if two digits are zero on the same digit, the sum is zero, one is zero, one is one, or both are one, and the sum is one.
If the sum is zero, both numbers must be zero is correct according to the above definition.