单选题
在二进制算法中有一种逻辑运算，如果两个数同一位上都是0时，其和为0；如果两个数同一位上一个为0、一个为1时或两个都是1时，其和为1。
那么以下结论中必定成立的是：
【正确答案】
B
【答案解析】[解析] 题干是两个充分条件假言命题。当和为1时，否定了第一个命题的后件，可得到否定的前件，即两数同一位上并非都是0，则可能是0和1，或者都是1，排除A、D两项。当和为0时，否定了第二个命题的后件，可得到否定的前件，即并非“一个为0、一个为1”且并非“都是1”，则只能都是0，B项正确。故本题答案为B。