¿Es la siguiente expresión una tautología?

((A → B) → A) → A

Esto se conoce como la Ley de Peirce, nombrada en honor a Charles Sanders Peirce.