Er følgende uttrykk en tautologi?

((A → B) → A) → A

Dette er kjent som Peirces lov, oppkalt etter Charles Sanders Peirce.