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