0:00
الصعوبة: خبيرالفئة: التكافؤ المنطقيالنوع: فحص التكافؤ

حوّل التعبير التالي إلى الصيغة العادية الربطية (CNF):

A ∨ (B ∧ C)