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 V q)
~q → ~p
