questa e' la coimplicazione, detta anche omologia o congiunzione
(p aut q;     p ⇔ q);

equivale a
( p ∧ q )∨( p_∧ q_)

cioe' la proposizione composta e' vera solamente se le proposizioni sono contemporaneamente o entrambe vere o entrambe false

p q p aut q
f

f

v

v 		f

v

f

v 		v

f

f

v

Mostriamo, con le tavole di verita' l'equivalenza delle due proposizioni
diciamo equivalenza invece di usare l'orrendo termine equiveridicita'
p ⇔ 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 		v

f

f

v 		v

v

f

f 		v

f

v

f 		f

f

f

v 		v

f

f

f 		v

f

f

v

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