问题：
[单选题] 在计算机语言中有一种逻辑运算，如果两个数同一位上都是0时，其和为0；一个为0，一个为1时或两个都是1时，其和为1。那么（ ）。
A、如果和为1，则两数必然都是1
B、如果和为0，则两数必然都为0
C、如果和为0，则两数中可能有一个为1
D、如果和为1，则两数中至少有一个为0
参考答案：
B、如果和为0，则两数必然都为0
● 参考解析
