0:00
Difficulty: ExpertCategory: Logical EquivalenceType: Equivalence Check

Is the following expression a tautology?

((A → B) → A) → A

This is known as Peirce's Law, named after Charles Sanders Peirce.