Ist der folgende Ausdruck eine Tautologie?

((A → B) → A) → A

Dies ist bekannt als Peirce'sches Gesetz, benannt nach Charles Sanders Peirce.