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

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

A → (B ∧ C)

الصيغة العادية الفصلية DNF هي فصل لعبارات، حيث كل عبارة هي وصل لحرفيات.