Fórmulas lógicas equivalentes usando tablas de verdad – Pregunta de Examen de Fundamentos de Matemática de la Universidad de Lima

Dadas las fórmulas lógicas proposicionales:

$$A:\ \sim r\vee(p\wedge\sim q)$$

$$B:\ \sim\left[(\sim q\wedge r)\rightarrow(p\vee r)\right]$$

¿La fórmula \(\sim(A\wedge B)\) es equivalente a la fórmula \((\sim A\rightarrow B)\)? Justifique su respuesta, haciendo uso de la tabla de verdad.

VER SOLUCIÓN