Considerando os conectivos lógicos usuais, que as letras maiúsculas representam proposições lógicas e que o símbolo ~ representa a negação de uma proposição, julgue os itens subsecutivos.
A expressão (A ˅ B) → C é equivalente à expressão (~A ˄ ~B) ˅ C.