La seguente espressione è una tautologia?

((A → B) → A) → A

Questa è conosciuta come Legge di Peirce, dal nome di Charles Sanders Peirce.