Kontrevalenco

Simbolo di la kontrevalenco.

Simbolo di logikala pordo XOR.

Kontrevalenco, exkluziva disjunciono o XOR esas logikala frazifo (du-argumentala funciono di Boole).

En matematikala logiko skribata maxim ofte kom $\oplus$. Kontrevalenco di frazi $p\oplus q$ es verajo, kande nur un ek frazi p,q es verajo.

Ol es equivalo dil expresuro: o(d) … o(d) o sive … sive.

Tabelo di valori logikala

$p$	$q$	$p\oplus q$
0	0	0
0	1	1
1	0	1
1	1	0

ube: 1 – frazo verala; 0 – frazo falsala