Considerando os conectivos lógicos usuais, que as letras mai...
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.