异或算法

A	B	Out
0	0	0
0	1	1
1	0	1
1	1	0

排他性分离本质上意味着"要么仅存在一个，要么两者都或者都不存在"。换句话说，如果陈述为 true，并且仅在一个为 true 且另一个为 false 时，该陈述才为 true。

例如，如果两匹马在赛跑，那么两匹马中一匹马将赢得比赛，但不是两匹马。

英语中，"either...or..."表示独占排他，而OR表示包含关系。