Stichpunkte

Allgemein
	Antivalenz oder Kontravalenz) ist ein Begriff aus der Aussagenlogik
	EOR
	Eine exklusiv-ODER-Verknüpfung (auch XOR
	Die Gesamtaussage ist dann wahr
	aber nicht beide
	wenn entweder die erste Aussage oder die zweite Aussage wahr ist
	also der XOR-Verknüpfung der Aussagen A und B
	Im Deutschen entspricht die Formulierung "Entweder A oder B" am besten dem Ausdruck "A XOR B"
	die Aussage sei falsch gewesen
	wenn Xaver entweder das eine oder das andere gemacht hat; hat Xaver jedoch beides gemacht
	obwohl diese Aussage im Sinne der Aussagenlogik wahr ist
	"Xaver geht zum Einkaufen oder in den Zoo" wird wohl von der Mehrheit der Sprecher als wahr empfunden werden
	wird man üblicherweise annehmen
	Generell dürfte oder jedoch immer als XOR interpretiert werden; die Aussage
	dass sie umkehrbar (symmetrisch) ist
	Praktisch entspricht dies der Addition zweier Bits modulo 2. XOR-Verknüpfung zweier Bits: 0 XOR 0 = 0 0 XOR 1 = 1 1 XOR 0 = 1 1 XOR 1 = 0 Der Vorteil der XOR-Verknüpfung ist
	Dies wird u.a. in der Kryptographie (dadurch kann beim Verschlüsseln die gleiche Funktion verwendet werden
	wie beim Entschlüsseln) und beim RAID-System ausgenutzt: 101 XOR 011 = 110 110 XOR 011 = 101 110 XOR 101 = 011 [Bearbeiten]
Anwendungsbeispiel in der Kryptografie
	Der Klartext 101 wird mit dem Schlüssel 11 XOR-verknüpft und wir erhalten das Ergebnis 110 (erste Zeile)
	Zum Entschlüsseln wird nun 110 wieder mit dem Schlüssel 11 XOR-verknüpft und wir erhalten wieder unseren Klartext 101 (zweite Zeile)
	Die XOR Verschlüsselung ist die sicherste bekannte Verschlüsselungsmethode – unter der Prämisse
	dass der Schlüssel vorher absolut abhörsicher ausgetauscht wurde – und ist damit auch nur theoretisch Sicher
	Ein Nachteil dieser Methode ist
	dass der Schlüssel dann auch mindestens die Länge der zu übertragenden Nachricht haben muss und auch nur einmal verwendet werden kann
	Siehe auch: One-Time-Pad [Bearbeiten]
Anwendungsbeispiel im RAID-System
	Wir haben zwei Bitfolgen 101 und 11
	aus denen mittels XOR-Verknüpfung die Parität gebildet wird: 110 (erste Zeile)
	so können wir sie wiederherstellen
	Geht nun die erste Bitfolge (101) verloren
	indem wir die zweite Bitfolge (11) mit der Parität XOR-verknüpfen (zweite Zeile). Siehe auch: XOR-Gatter Aussagenlogik

Dieser Artikel basiert auf dem Artikel XOR-Verknüpfung aus der freien Enzyklopädie wikipedia und steht unter der GNU Lizenz für freie Dokumentation. In der wikipedia ist eine Liste der Autoren verfügbar.