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 one, then both numbers must be one is correct according to the above definition.