Usuario:Juansbotero/ejercicio 3
Apariencia
3. MUEVA LAS NEGACIONES INTERIORES TANTO COMO SEA POSIBLE
a) ¬(P1 ^ ¬(P2 v ¬P3)
b) P v ¬(P ^ ¬(Q ^ R)
SOLUCION
a) ¬(P1 ^¬P2 ^ P3)
¬P1 v P2 v ¬P3
b) P v ¬(P ^¬Q v ¬R)
P v ¬P v Q ^ R
V v Q ^ R
V