A fórmula ¬(𝐴 → (𝐶 ∨ 𝐵)) ↔ (𝐴 ∧ ¬𝐵 ∧¬𝐶) é uma:
Contradição.
Equivalência lógica.
Contingência.
Implicação lógica.
Indeterminação.