جدول المحتويات:
التعريف - ماذا يعني النموذج العادي المفصل (DNF)؟
الشكل الطبيعي المفصل (DNF) هو تطبيع صيغة منطقية في الرياضيات المنطقية. بمعنى آخر ، يقال إن الصيغة المنطقية تكون في شكل طبيعي غير متقطع ، إذا كانت تقاطعًا مع كل متغير وكانت نفيها موجودة مرة واحدة في كل تزامن. جميع الأشكال العادية المفصلة ليست فريدة ، حيث أن جميع الأشكال العادية المفصلة لنفس الاقتراح متساوية.
يستخدم الشكل العادي الملتبس على نطاق واسع في مجالات مثل إثبات النظرية الآلية.
تيكوبيديا تشرح النموذج العادي المفاجئ (DNF)
تكون الصيغة المنطقية في شكل عادي متقطع إذا وفقط في وجود تناوب واحد أو أكثر من حرف واحد أو أكثر. تُعتبر الصيغة في شكل عادي تمامًا إذا كانت جميع المتغيرات المعنية ممثلة مرة واحدة فقط في كل فقرة. على نحو مشابه للشكل العادي الملتحمي ، فإن العوامل المشغِّلة ذات الشكل العادي الملتبس هي نفسها: AND ، OR و NOT.
يمكن تحويل جميع الصيغ المنطقية إلى شكل معادل عادي. ومع ذلك ، في بعض الحالات ، يكون الانفجار الأسي للوظيفة المنطقية ممكنًا بسبب التحويل إلى شكل طبيعي مفصول. النقطة البارزة الأخرى هي أنه يمكن تمثيل أي وظيفة منطقية فريدة من نوعها من خلال نموذج عادي مفصل كامل. بمساعدة تقنيات مثل طريقة جدول الحقيقة أو أشجار الحقيقة أو جدول التكافؤ المنطقي ، يمكن إنشاء شكل عادي مفصل للصيغ المنطقية. يستخدم K-DNF ، وهو شكل مختلف من الأشكال الطبيعية المفصّلة ، على نطاق واسع في دراسة التعقيد الحسابي.
