Является ли следующее выражение тавтологией?

((A → B) → A) → A

Это известно как закон Пирса, названный в честь Чарльза Сандерса Пирса.