Analise as fórmulas a seguir:

I) A ∨ ¬B
II) ((A → B) ∧ B) → A
III) ((A ∨ B) ∧ ¬A) ∧ ¬A
IV) ((A → B) ∧ (C → D)) ∧ ¬(A → D)
V) P → ¬(P ∨ P)

São tautologias: