Usuario:Alvaro Otero/ejercicio 2
Apariencia
Demostrar que p <=> q es equivalente a (p v q) => (p^q)
p q p<=>q pvq p^q (pvq)=>(p^q)
v v v v v v
v f f v f f
f v f v f f
f f v f f v
1 2
como las columnas 1 y 2 son iguales entonces las dos proposiciones son equivalentes