Ir al contenido

Usuario:Alvaro Otero/ejercicio 11

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

simplificar las siguientes expreciones

a)

 ¬p => p

b)

 p => ¬p


SOLUCION

a)

 ¬(¬p) v p
 p v p
 p

b)

 p => ¬p
 ¬p v ¬p
 ¬p