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 o item subsecutivo.

A expressão (A ∨ B) → C é equivalente à expressão (~A ∧ ~B) ∨ C.