L'expression suivante est-elle une tautologie (toujours vrai) ?

(A → B) ∨ (B → A)