حوّل التعبير التالي إلى الصيغة العادية الربطية (CNF):
A ∨ (B ∧ C)
الأدلة التي تشرح ما يتدرَّب عليه هذا التمرين.