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