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