L'expression suivante est-elle une tautologie ?

((A → B) → A) → A

Ceci est connu sous le nom de Loi de Peirce, nommée d'après Charles Sanders Peirce.