在Python中，如何获得两个变量的逻辑异或？
例如，我有两个变量，我希望它们都是字符串。我想测试只有其中一个包含True值（不是None或空字符串）：
str1 = raw_input("Enter string one:")
str2 = raw_input("Enter string two:")
if logical_xor(str1, str2):
print "ok"
else:
print "bad"
>>> 1 ^ 1
0
>>> 2 ^ 1
3
>>> "abc" ^ ""
Traceback (most recent call last):
File "<stdin>", line 1, in <module>
TypeError: unsupported operand type(s) for ^: 'str' and 'str'
如果您已经将输入规范化为布尔值，则 != 表示异或。
bool(a) != bool(b)
bool(a) is not bool(b) 吗？ - RNA你总是可以使用异或的定义从其他逻辑操作中计算它：
(a and not b) or (not a and b)
但对我来说，这有点太冗长了，在第一眼看上去也不是很清晰。另一种做法是：
bool(a) ^ bool(b)
在两个布尔值上应用异或运算符是逻辑异或（与对整数的位运算不同）。这是有道理的，因为bool只是int的子类，但实现时只有0和1两个取值。当域被限制在0和1时，逻辑异或等价于位异或。
因此，logical_xor函数将被实现如下：
def logical_xor(str1, str2):
return bool(str1) ^ bool(str2)
(not b and a) or (not a and b)，这样如果有字符串返回，它似乎是函数运行的 Pythonic 方式。 - rjmunro位运算的异或已经内置在Python中，可以使用operator模块（与^运算符相同）：
from operator import xor
xor(bool(a), bool(b)) # Note: converting to bools is essential
xor(1, 2) 返回 3。从文档字符串可以看出：xor(a, b) -- Same as a ^ b.请记住，从 operator 导入的任何内容都只是现有内置中缀运算符的函数形式。 - askewchanbool类型重载了 __xor__ 操作符来返回布尔值。虽然这样做可以正常工作，但当 bool(a) ^ bool(b) 可以达到同样的效果时，这样做就有点过犹不及了。 - Martijn Pietersbool类型实现了__xor__方法，特别是因为^会调用它。重点是，bool(a) ^ bool(b)可以正常工作，这里没有必要使用operator.xor()函数。 - Martijn Pietersoperator模块非常棒。但是，在Arel添加^运算符之前，这个答案的措辞似乎暗示了operator.xor()是唯一的方法。 - Martijn Pieters正如Zach所解释的那样，你可以使用：
xor = bool(a) ^ bool(b)
个人而言，我更喜欢稍微不同的方言：
xor = bool(a) + bool(b) == 1
这种方言的灵感来源于我在学校学习的逻辑图形语言，其中"OR"由一个包含≥1(大于等于1)的框表示，而“XOR”则由一个包含=1的框表示。
这种方式的优点是可以正确地在多个操作数上实现异或运算。
(((((True + True)==1)+False)==1)+True)==1。这里给出的答案完全适用于多个操作数。 - elyTrue + True + False + True，您确实会得到3，而True + True + False + True == 3返回True，而True + True + False + True == 1返回False。换句话说，这里的答案无法正确地推广；要使其正确推广，您需要做额外的工作。同时，一个简单的True ^ True ^ False ^ True可以按预期工作。 - jpmc26True，即多元异或。这与例如 A XOR B XOR ... XOR Z 是不同的操作。换句话说，如果您计划使用基于加法的版本，则在提交操作数 True + True + False + True 后，您应该期望结果为 False，因为其中超过一个是 True，这适用于条件检查 == 1。 - elyor： A or B：如果bool(A)为True，则返回A，否则返回Band： A and B：如果bool(A)为False，则返回A，否则返回B为了保持这种思考方式，我的逻辑异或定义将是：
def logical_xor(a, b):
if bool(a) == bool(b):
return False
else:
return a or b
这样它就可以返回a、b或False：
>>> logical_xor('this', 'that')
False
>>> logical_xor('', '')
False
>>> logical_xor('this', '')
'this'
>>> logical_xor('', 'that')
'that'
and 和 or 并不会返回逻辑值。例如 'foo' and 'bar' 返回的是 'bar' ... （原文未完） - noskloand和or一致的xor实现示例的。然而，在实际情况下，当然，bool(a) ^ bool(b)或甚至是a ^ b（如果已知a和b是bool）更为简明。 - Erik Kaplun我尝试了几种方法（包括使用 ShadowRanger 建议的 truth() 函数）。
%timeit (not a) ^ (not b) # 47 ns
%timeit (not a) != (not b) # 44.7 ns
%timeit truth(a) != truth(b) # 116 ns
%timeit bool(a) != bool(b) # 190 ns
from operator import truth，并测试 truth(a) != truth(b)。bool 作为一个构造函数，在 C 级别上有很多不可避免的开销（它必须将参数接受为等价的 *args, **kwargs 并解析 tuple 和 dict 来提取它们），而 truth（作为函数）可以使用一个优化的路径，不需要 tuple 或 dict，并且运行时间约为基于 bool 的解决方案的一半（但仍然比基于 not 的解决方案长）。 - ShadowRangernot和bool的计时结果相同，但truth(a) != truth(b)的计时约为50纳秒，而不是100+纳秒。因此与not方法相当。 - Ed_(not a) is not (not b)比(not a) != (not b)更快。 - benrgPython有一个按位异或运算符，它是^：
>>> True ^ False
True
>>> True ^ True
False
>>> False ^ True
True
>>> False ^ False
False
^) 之前将输入转换为布尔值来使用它：bool(a) ^ bool(b)
（编辑 - 感谢Arel）
^ 是一个按位异或运算符（不是像问题所问的逻辑异或）。bool(2) ^ bool(3) 的结果与 bool(2 ^ 3) 不同。 - Arela ^ b 是多态的。如果 a 和 b 是 bool 实例，那么结果也将是 bool。这种行为很难称之为“按位异或”。 - Alfe^定义为位运算符，即使对于bool和int类型，类型也会被保留，这是一个有趣的观点。注意：True ^ 2是3，这证明它确实是按位运算。 - Arelbool ^ int 的情况有点像先将一切都强制转换为 int。然而，Python 内置了 ^ 运算符，适用于 int 中的多个比特位和在 bool 中表示的一个比特位。因此，两者都是按位运算，但对于单个比特位的按位异或，就是布尔值的逻辑异或。 - Alfexor，出于工程背景的原因，对我来说，这直观地感觉像数学中的幂运算，即 2^3 = pow(2,3)，这意味着我总是明确地进行注释以防止混淆。 - Nicholas Hamilton简单易懂：
sum(bool(a), bool(b)) == 1
如果您想要的是一种独占性选择，即从n个选项中选择1个选项，则可以将其扩展为多个参数：
sum(bool(x) for x in y) == 1
sum(map(bool, y)) % 2 == 1 - warvariucsum的理由不大，而bool(a) + bool(b) == 1则可以实现同样的功能。 - user3064538在Python中获取两个或多个变量的逻辑异或:
^或operator.xor)例如：
bool(a) ^ bool(b)
!= 在Python中不同于异或，因为存在运算符链接的微妙差别。！=时下面三个值的异或结果是错误的：True ^ False ^ False # True, as expected of XOR
True != False != False # False! Equivalent to `(True != False) and (False != False)`
(顺便说一下，我试图编辑已接受的答案以包含此警告，但我的更改被拒绝了。)
假设A和B是布尔类型。
A is not B
a xor a被定义为(a and not b) or (not a and b)，因此当a和b为字符串或任何其他类型时，a xor b应该产生(a and not b) or (not a and b)的结果。 - Kazint("0xFFFF00", 16) ^ int("0xFFFF00", 16) == int(0)，所以你必须将其转换为数字并在结果上调用hex，然后在左侧填充足够多的 0 以达到最长长度。 - Guimoute