0:00
ExpertLogical EquivalenceEquivalence Check

Is the following expression a tautology?

((A → B) → A) → A

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