Ejercicio 4

4.- Cuál de las siguientes expresiones son lógicamente equivalentes a

(~ p v ~ q ) Ù r

a)  p Þ ( ~ q      Ù r )

b)  ( p Þ q )      Ù r

c)  ( p Þ ~ q ) Ù r

d)  p Þ ( q v r )

 

 La respuesta es la opción c) ( p ⇒ ∼ q ) ∧ r

 

Puesto que ( p ⇒ ∼ q ) equivale a (~p v ~q), luego:

( p ⇒ ∼ q ) ∧ r sería (~p v ~q) ∧ r