Kontravalenz ist in der klassischen Logik und Mathematik die Bezeichnung für die Verbindung zweier Aussagen durch den zweistelligen Junktor "entweder - oder" oder auch "exklusives Oder" sowie "Kontravalentor". Synonym werden auch die Bezeichnungen ausschließende Disjunktion, vollständige Disjunktion, antivalente Disjunktion, Bisubtraktion, ausschließendes Oder, Antivalenz, kontradiktorischer Gegensatz, Kontrajunktion oder Alternation verwendet. In der Schaltalgebra spricht man von dem XOR-Gatter, in der Aussagenlogik nennt man sie XOR-Verknüpfung.

[Last contributor : Xqbot , Content under LGPL license]