Usuario:Juansbotero/Ejercicio 2

De Wikilibros, la colección de libros de texto de contenido libre.

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