A seguinte expressão é uma tautologia (sempre verdadeira)?
(A → B) ∨ (B → A)
Os guias que explicam o que este exercício pratica.