Respuesta:
) [(p ∧ ∼q) ⇒ q ]⇔ (p ⇒ q)
p q ∼q p ∧ ∼q (p ∧ ∼q) ⇒ q p ⇒ q [(p ∧ ∼q) ⇒ q] ⇔ (p ⇒ q)
V V F F V V V
V F V V F F V
F V F F V V V
F F V F V V V
La expresión lógica a) es una tautología, ya que la última columna de la tabla de verdad siempre tiene el valor de verdad "Verdadero" (V).
b) (p ⇒ q) ⇔ [(∼p ⇒∼ q)]
p q ∼p ∼q p ⇒ q ∼p ⇒ ∼q (p ⇒ q) ⇔ (∼p ⇒ ∼q)
V V F F V V V
V F F V F V F
F V V F V F F
F F V V V V V
La expresión lógica b) no es una tautología, ya que la última columna de la tabla de verdad no siempre tiene el valor de verdad "Verdadero" (V).
c) [p ∧ (p ⇒ q) ] ⇒q
p q p ⇒ q p ∧ (p ⇒ q) [p ∧ (p ⇒ q)] ⇒ q
V V V V V
V F F F V
F V V F V
F F V F V
La expresión lógica c) es una tautología, ya que la última columna de la tabla de verdad siempre tiene el valor de verdad "Verdadero" (V).
