Andmaury
Sólo te voy a ayudar con los dos primeros porque esta muy largo escribir. Aplica las leyes y te recomiendo que también lo verifiques con la tabla de valores es mucho más fácil pero más largo.
p→¬(p∧q) : Ley de Morgan p→ ¬p∨¬q : Commutativa (p→¬q)∨¬p : Ley de negación ¬(p→¬q)∧p: Implicación p∧q∧p : Idempotencia p∧q : El valor es falso
¬p∧(¬p→q): Ley de negación p∨¬(¬p→q): Implicación p∨p∧q : Idempotencia p∧q : Valor falso
la tabla de valores es mucho más fácil pero más largo.
p→¬(p∧q) : Ley de Morgan
p→ ¬p∨¬q : Commutativa
(p→¬q)∨¬p : Ley de negación
¬(p→¬q)∧p: Implicación
p∧q∧p : Idempotencia
p∧q : El valor es falso
¬p∧(¬p→q): Ley de negación
p∨¬(¬p→q): Implicación
p∨p∧q : Idempotencia
p∧q : Valor falso