1、A+B=A或者B或者AB或者O
A+O=A或者O，不可能有B和AB
B+O=B或者O，不可能有A和AB
A+AB=A或者B或者AB，不可能有O
B+AB同上
O+O=O，不能有别的
AB+O=A或者B，不可能有AB或者O