Aşağıdaki ifade bir totoloji midir?

((A → B) → A) → A

Bu ifade Charles Sanders Peirce'ın adını taşıyan Peirce Yasası olarak bilinir.