Usuario:Juansbotero/Ejercicio 3

USE EL ALGEBRA DECLARATIVA PARA SIMPLIFICAR LAS SIGUIENTES EXPRESIONES

a. P v￢Qv(P ^Q) ^(P v￢Q) ^￢P ^Q

b. ￢((PVQ) ^R) v Q

SOLUCION

       a.	P v(￢Qv(P ^Q) ^ (P ^￢Q) ^ ￢P ^Q
               P v(￢Q v P) ^ (￢Q ^ Q) ^ (P ^￢Q) ^ ￢P ^ (P ^￢Q) ^ Q
               P v(￢Q v P) ^ (￢Q ^ Q) ^ (￢P ^ P) ^ (￢P ^￢Q) ^ (Q ^ P) ^ (Q  ^ ￢Q)
               P v(￢Q v P) ^ F ^ F ^ (￢P ￢^Q) ^ (Q ^ P) ^ F
               P v F ^ F ^F
               F ^ F ^F
                   F

       b.	￢(PVQ)v ^￢R)  v  Q
               ￢P ^￢Q v￢R  v  Q
               ￢P ^ (￢Q v￢R  v  Q)
               ￢P ^ (￢Q v Q  v ￢R)
               ￢P ^ ((￢Q v Q)  v ￢R)
               ￢P ^ (V  v  ￢R)
               ￢P ^ V
               ￢P