Er følgende udtryk en tautologi?

((A → B) → A) → A

Dette er kendt som Peirces Lov, opkaldt efter Charles Sanders Peirce.