다음 표현식은 항진식(tautology)인가요?

((A → B) → A) → A

이것은 Charles Sanders Peirce의 이름을 따서 명명된 퍼스의 법칙(Peirce's Law)으로 알려져 있습니다.