Duas proposições compostas são equivalentes se seus valores lógicos são iguais. Considerando que p e q são proposições lógicas, então é CORRETO afirmar que a proposição (p ∧ ~ q) é equivalente a:
~(p → ~q)
~(p → q)
~(p ∨ q)
~q → ~p