Usuario:Alvaro Otero/ejercicio 10

simplificar la siguientes proposiciones, encontrando otra equivalencia con menos operadores y/o variables

a)(p v q)^(¬p v ¬q) b)(p ^ q)v(¬p ^ ¬q)v(¬p ^ ¬q)

SOLUCION

a)

 (¬p => q)^(p => ¬q)

b)

 (p ^ q)v(¬p ^ ¬q)v(¬p ^ ¬q)
 (p ^ q)v(¬p ^ ¬q)
¬(p ^ q) => (¬p ^ ¬q)
 (¬p v ¬q) => (¬p ^ ¬q)