Q857625 - COPEVE-UFAL - 2023 - IFAL - AL - Assistente de Aluno

Considerando que os símbolos ¬, ∧, ∨, → e ↔ representam negação, conjunção, disjunção, implicação e biimplicação, respectivamente, qual das alternativas apresenta pares de fórmulas equivalentes?

a) ¬(A ∨ B ∨ C) e ¬A ∨ ¬B ∨ ¬C
b) (A ↔ B) → ¬C e A ↔ (B → ¬C)
c) (A → B) ∧ C e (A ∨ C) → (B ∨ C)
d) ¬(A → B) → C e (¬A → ¬B) → C
e) A ∧ (B → C) e (A ∧ ¬B) ∨ (A ∧ C)

Q857625 - COPEVE-UFAL - 2023 - IFAL - AL - Assistente de Aluno

Raciocínio Lógico