TALLER DE LÓGICA

Simplificar las siguientes ecuaciones lógicas utilizando las leyes de equivalencia notables
correspondientes.

1) ~ ( p → q) ↔ ~( ~ p Ʌ ~ q)

2) [(p v ~q) →~ p] Ʌ (~ p ↔q)

3. {[q ν (~ q Ʌ r)] ν [p → (p ν r)]} → p

4) [(p ↔ q) → p] ν (p ν q)

5) (p q) v (p q)