simplificar la siguiente exprecion ((p v q)=> q ^ ¬q))=> ¬p
SOLUCION
((p v q)=> q ^ ¬q))=> ¬p ((p v q => f))=> ¬p (¬(p v q) v f)=> ¬p ¬(¬(p v q) v f)v ¬p ((p v q) v f)v ¬p (p v q)v ¬p (p v ¬p) v q V v q V