参考答案：D

解析：

本题考查计算机系统数据运算基础知识。计算机中两个数作相加运算时，若是一个正数和一个负数相加，则不会溢出。若两个数都是正数或都是负数，则运算结果可能超出范围，即发生溢出。若符号位b、a一个为0一个为1，其"逻辑或"的结果一定为1、"逻辑与"的结果一定为0、"逻辑异或"的结果一定为1，此时不会发生溢出。若b、a的"逻辑异或"结果为0，表示b、a的值相同，即两个数都是正数或都是负数，则相加时可能发生溢出。