Usuario:Alvaro Otero/ejercicio 9

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