Simplificar : [(~pvq) - > (~qvp) ] ^ (p ^ q)?
Simplificar : [(~pvq) - > (~qvp) ] ^ (p ^ q).
Simplificar : [(~pvq) - > (~qvp) ] ^ (p ^ q).
En resumen
- ( - pvq)v( - qvp) ^ (p ^ q) (p ^ - q)v( - qvp) ^ (p ^ q) p ^ ( - qv - q)vp ^ (p ^ q) p ^ ( - qvp) ^ (p ^ q) p ^ (p ^ q) (p ^ q).
- ( - pvq)v( - qvp) ^ (p ^ q)
(p ^ - q)v( - qvp) ^ (p ^ q)
p ^ ( - qv - q)vp ^ (p ^ q)
p ^ ( - qvp) ^ (p ^ q)
p ^ (p ^ q)
(p ^ q).
Respuesta : Explicación paso a paso : Aighsuduejal con wuzkjdjsjs calcen Jane he el gasto fx FL he ir a bn con h le Hg.
Qwp_b d_pwq (°w´) / / ewe.
Al principio usé leyes de equivalencia lógica, primero la ley del condicional y después la ley de Morgan "al revés". Se puede concluir que es una tautologia.