Wie erhält man das logische Xor zweier Variablen in Python?

Question

Wie erhalten Sie die logisches Xor von zwei Variablen in Python?

Ich habe zum Beispiel zwei Variablen, von denen ich erwarte, dass sie Zeichenketten sind. Ich möchte testen, ob nur eine von ihnen einen wahren Wert enthält (also nicht None oder die leere Zeichenkette ist):

str1 = raw_input("Enter string one:")
str2 = raw_input("Enter string two:")
if logical_xor(str1, str2):
    print "ok"
else:
    print "bad"

El ^ Operator scheint bitweise zu sein und ist nicht für alle Objekte definiert:

>>> 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'

Answer 1

Wenn Sie die Eingaben bereits auf Boolesche Werte normalisieren, dann ist != xor.

bool(a) != bool(b)

Answer 2

Sie können jederzeit die Definition von xor verwenden, um es aus anderen logischen Operationen zu berechnen:

(a and not b) or (not a and b)

Aber das ist mir ein bisschen zu langatmig und auf den ersten Blick nicht besonders klar. Eine andere Möglichkeit ist es, dies zu tun:

bool(a) ^ bool(b)

Der xor-Operator für zwei Boolesche Werte ist ein logisches xor (anders als bei Ints, wo er bitweise ist). Das macht Sinn, da bool ist nur eine Unterklasse von int aber so implementiert ist, dass sie nur die Werte 0 y 1 . Und logisches xor ist äquivalent zu bitweisem xor, wenn die Domäne beschränkt ist auf 0 y 1 .

Also die logical_xor Funktion würde wie folgt implementiert werden:

def logical_xor(str1, str2):
    return bool(str1) ^ bool(str2)

Kredit an Nick Coghlan auf der Python-3000 Mailingliste .

Answer 3

Bitweise exclusive-or ist bereits in Python eingebaut, in der operator Modul (das identisch ist mit dem ^ Operator):

from operator import xor
xor(bool(a), bool(b))  # Note: converting to bools is essential

Answer 4

Als Zach erklärt, können Sie verwenden:

xor = bool(a) ^ bool(b)

Ich persönlich bevorzuge einen etwas anderen Dialekt:

xor = bool(a) + bool(b) == 1

Dieser Dialekt ist von einer logischen Diagrammsprache inspiriert, die ich in der Schule gelernt habe und in der "ODER" durch ein Kästchen dargestellt wurde, das 1 (größer oder gleich 1) und "XOR" wurde durch ein Kästchen gekennzeichnet, das =1 .

Dies hat den Vorteil, dass exklusive oder mehrere Operanden korrekt implementiert werden.

• "1 = a ^ b ^ c..." bedeutet, dass die Anzahl der wahren Operanden ungerade ist. Dieser Operator ist "Parität".
• "1 = a + b + c..." bedeutet, dass genau ein Operand wahr ist. Dies ist ein "exklusives oder", das heißt "eines unter Ausschluss der anderen".

Answer 5

• Python logisch or : A or B : kehrt zurück A si bool(A) es True , andernfalls wird B
• Python logisch and : A and B : kehrt zurück A si bool(A) es False , andernfalls wird B

Um den Großteil dieser Denkweise beizubehalten, würde meine logische xor-Definition lauten:

def logical_xor(a, b):
    if bool(a) == bool(b):
        return False
    else:
        return a or b

Auf diese Weise kann es zurückkehren a , b , oder False :

>>> logical_xor('this', 'that')
False
>>> logical_xor('', '')
False
>>> logical_xor('this', '')
'this'
>>> logical_xor('', 'that')
'that'