Is de volgende uitdrukking een tautologie?

((A → B) → A) → A

Dit staat bekend als Peirce's Wet, vernoemd naar Charles Sanders Peirce.