XOR

"Kontravalenz" ist in der klassischen Logik und Mathematik die Bezeichnung für die Verbindung zweier Aussagen durch den zweistelligen Junktor "entweder - oder". Synonyme sind: ausschließende Disjunktion, vollständige Disjunktion, antivalente Disjunktion, Bisubtraktion, ausschließendes Oder, Antivalenz, kontradiktorischer Gegensatz, Kontrajunktion oder Alternation. In der Schaltalgebra spricht man von der XOR-Verknüpfung und schreibt sie als XOR (eXclusive OR) auf.
Mehr unter Wikipedia.org...

Ein XOR-Gatter (von engl. eXclusive OR - exklusives Oder, entweder oder) ist ein Gatter mit mehreren Eingängen und einem Ausgang, bei dem der Ausgang genau dann logisch "1" ist, wenn an einer ungeraden Anzahl von Eingängen "1" anliegt und an den restlichen "0". Die XOR-Verknüpfung wird auch als Anti- oder Kontravalenz bezeichnet.
Mehr unter Wikipedia.org...

Eine exklusiv-ODER-Verknüpfung (auch XOR, EOR, Modulo-2 Addition, Antivalenz oder Kontravalenz) ist ein Begriff aus der Aussagenlogik. Die Gesamtaussage ist dann wahr, wenn entweder die erste Aussage oder die zweite Aussage wahr ist, aber nicht beide. Als Formelzeichen wird meist der Ausdruck xor oder das Zeichen verwendet.
Mehr unter Wikipedia.org...

Englische Bezeichnung für Exclusives ODER • Operator aus der Boole'schen Algebra .

Exclusive Or

eXclusive OR -Exklusiv Oder, logische Funktion