Proposições compostas são denominadas equivalentes quando possuem os mesmos valores lógicos V ou F, para todas as possíveis valorações V ou F atribuídas às proposições simples que as compõem. Assinale a opção correspondente à proposição equivalente a “¬[[A∧(¬B)]→C]”.
A
A∧(¬B)∧(¬C)
B
(¬A)∨(¬B)∨C
C
C→[A∧(¬B)]
D
(¬A)∨B∨C
E
[(¬A)∧B]→(¬C)