هل التعبير التالي هو تحصيل حاصل (tautology)؟

((A → B) → A) → A

هذا يُعرف بقانون بيرس، نسبة إلى تشارلز ساندرز بيرس.