Usuario:Juansbotero/Ejercicio 1

ELIMINAR → Y ↔ DE LAS SIGUINETES EXPRESIONES

a)(p→q) ^(q→r)

b)(p→q)↔((p^q)↔r)

c)￢p→￢q

SOLUCION

         a) (￢p vq) ^ (￢q vr)

         b) (￢p vq) →((p ^ q) ^ r) v (￢(p ^ q) ^ ￢r))
          ((￢p vq) ^ ((p ^ q) ^ r) v (￢(p ^ q) ^ ￢r))) v (￢(￢p vq) ^ ￢ (((p ^ q) ^ ￢r)          v (￢(p ^ q) 
           ^ ￢r)

           c) q→p
              ￢q v p