क्या निम्नलिखित व्यंजक एक tautology है?

((A → B) → A) → A

इसे पियर्स का नियम (Peirce's Law) के रूप में जाना जाता है, जो चार्ल्स सैंडर्स पियर्स के नाम पर है।