جدول المحتويات:
التعريف - ماذا يعني الشكل الملتحمي العادي (CNF)؟
الشكل العادي المترابط (CNF) هو نهج للمنطق المنطقي الذي يعبر عن الصيغ كترابطات للجمل مع AND أو OR. يجب أن تكون كل جملة متصلة بواسطة اقتران ، أو AND ، إما حرفيًا أو تحتوي على انفصال ، أو عامل تشغيل OR. CNF مفيد لإثبات نظرية مبرهنة.
تيكوبيديا توضح النموذج الملتحمي العادي (CNF)
في الشكل العادي الملتحمي ، تكون العبارات المنطقي المنطقي عبارة عن إقران بين الجمل مع عبارات الاقتران. بمعنى آخر ، عبارة عبارة عن سلسلة من ORS متصلة بواسطة ANDs.
فمثلا:
(أ أو ب) و (ج أو د)
(أ أو ب) و (لا ج أو ب)
يمكن أن تكون الجمل أيضًا حرفية:
ا او ب
أ و ب
تُعتبر القيم الحرفية في CNF بمثابة تقارنات بين الجمل الحرفية والترابطات التي يحدث فيها بند واحد. من الممكن تحويل العبارات إلى CNF التي تتم كتابتها في شكل آخر ، مثل النموذج العادي غير المباشر.
