بسّط التعبير المعقد التالي:
((A → B) → C) → ((A → C) ∨ (B → C))
الأدلة التي تشرح ما يتدرَّب عليه هذا التمرين.
