Language agnostic 异或中的独占性到底意味着什么？

也许这对每个人来说都是显而易见的，但有人能解释一下XOR（或排他or）的名字是从哪里来的吗？“独占”一词的真正含义是什么？这并不重要，但从早上起它就一直萦绕在我的脑海里

OR:
0 0 0
0 1 1
1 0 1
1 1 1

XOR:
0 0 0
0 1 1
1 0 1
1 1 0

---

它是“输入1,1的专用0”、“或的特殊版本”还是其他什么？

异或是“异或”，因为只有当两个值是互斥的，即它们都不同时，它才返回1的“真”值。

这是互斥的，因为两个操作数必须是互斥的（换句话说，不同的）.

在“只有一个”中它是独占的。换句话说，它是“两个中的一个，但不是两个都是”。

在XOR中独占的意思就是它所说的-必须排除两个中的一个。也就是说，不是一个就是另一个。既不是两者都有，也不是只有一个。至少我是这样理解的：）这来自集合论。假设您有两个集合A和B，以及这些集合中可能有的或可能不存在的元素。如果元素在集合A中，则第一个布尔输入为真。如果元素在集合B中，则第二个布尔输入为真

如果元素对一个集合是“独占的”（如与另一个集合是“不共享的”），那么XOR运算符将返回true。说明：

---

根据TAOCP第4A卷中的Knuth，George Boole“…写x+y代表析取，但他努力避免使用这种符号，除非x和y相互排斥（不是都是1）。如果必要，他写x+（1-x）y以确保析取的结果永远不会是2。”

---

XOR是进位丢失的加法。

我今天读了一个很好的“简明英语”示例：

以英国为例 一句话，“你在周二或之前给我钱。” 我会起诉的，“如果那样的话”或“如果那样的话” 逻辑连接词，然后是句子 这是真的，如果你用 星期二或者我起诉你；所以你可以付钱 星期一我还可以起诉你 你。但“或”的这种特殊用法 通常被认为是指 要么你在星期二之前付钱给我，我就 不要起诉你，否则你不给我钱 星期二，我真的起诉你 所谓的“排他或”

---

Hugh Darwen，“关系数据库理论导论”，第76页。

这是孩子们理解为或的东西

你可以吃巧克力，也可以 吃冰淇淋

但是程序员会认为这两者兼而有之

问：“你想要茶还是咖啡”

---

恼人的程序员回答=是的

现在我想起来了，这个问题不是更适合吗？@zneak：我确实考虑过，但我认为这个问题的答案假设我对布尔逻辑有一个隐含的理解，但我下次会记住：）谢谢。我认为zneak的意思是，如果操作数不同，结果是真的。搜索“全加数”将显示XOR，和、和或作为计算机加法的基础。异或是进位丢失的加法+1个给那啊哈。我真的很感激：）你说的“不同”是指其中一个是

true

，另一个是

false

。所以，它们是不同的。