questa e' la disgiunzione esclusiva detta anche contro-omologia(p aut q);
equivale a
(p ∧ q_)∨ (p_∧ q)

cioe' la proposizione composta e' vera solamente se sono vere la prima oppure la seconda, ma non contemporaneamente

p q p aut q
f

f

v

v
f

v

f

v
f

v

v

f

Mostriamo, con le tavole di verita' l'equivalenza delle due proposizioni
diciamo equivalenza invece di usare l'orrendo termine equiveridicita'
p aut q e (p ∧ q_)∨ (p_∧ q)

p q p aut q p_ q_ p ∧ q_ p_∧ q (p ∧ q_)∨ (p_∧ q)
f

f

v

v
f

v

f

v
f

v

v

f
v

v

f

f
v

f

v

f
f

f

v

f
f

v

f

f
f

v

v

f

Da notare che la sua negazione e' la coimplicazione
se vuoi la pagina sulla disgiunzione esclusiva