Kontrevalenco

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

En matematikala logiko skribata maxim ofte kom . Kontrevalenco di frazi  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   0  0  00  1  11  0  11  1  0
ube: 1 – frazo verala; 0 – frazo falsala

Kategorio:Logiko