هل التعبير التالي تحصيل حاصل (صحيح دائماً)؟
(A → B) ∨ (B → A)
الأدلة التي تشرح ما يتدرَّب عليه هذا التمرين.
