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