شكل عادي منفصل

في جبر بول، شكل عادي منفصل هو من الأشكال العادية للجبر المنطقي لصيغ المنطقية، يتكون من فصل (مسألة مركبة يكون ناتجها صواب إذا كان واحد من أطرافها صائب) المرتبطات، أو يمكن وصفه على انه أو(فصل منطقي) لمجموعة و (عطف منطقي)، أو مجموع المضروبات، أو بالمنطق الفلسفي مفهوم الجمع. كشكل عادي يكون مفيد في اثبات النظرية الآلية.

التعريف 
تعتبر الصيغة المنطقية في الشكل العادي المنفصل إذا كان فصل منطقي لواحد أو أكثر من العطوف المنطقية لواحد أو أكثر من الرموز(حروف).  تكون صيغة الشكل العادي المنفصل مكتملة إذا كان كل من متغيراته تظهر بالضبط مرة واحدة في كل ترابط. كما في الشكل العادي المرتبط عوامل المسألة المنطقية هم و ()، أو ()، نفي (). عامل النفي يمكن استخدامه فقط كجزء من متغير، الذي يعني انه يسبق المتغير في المسألة.

التالي قواعد خالية من السياق لشكل العادي المنفصل:

 الفصل → (عطف  فصل)
 فصل → عطف
 عطف → (متغير  عطف)
 عطف → متغير
 حرف → متغير
 حرف → متغير

بحيث يكون المتغير أي متغير.

جميع الامثلة التالية صيغ في الشكل العادي المنفصل:

 
 
 
 

لكن الصيغ التالية ليست كذلك:

 , بسبب ان أو متداخلة في داخل النفي
 , بسبب ان أو متداخلة في النفي
 , بسبب ان ومتداخلة في النفي

الصيغة  في الشكل العادي المنفصل، لكن ليست مكتملة، النسخة الذي تعادله في الصيغة المكتملة:.

تحويل الصيغة إلى شكل عادي المنفصل 

خريطة كارنوف لشكل العادي المنفصل

تحويل الصيغة إلى شكل عادي منفصل يتضمن استخدام تكافؤ المنطقي، مثل إزالة النفي المضاعف (نفي النفي إثبات)، قوانين دي مورغان ، قانون التوزيع.

كل الصيغ المنطقية يمكن تحويلها إلى ما يعادله بشكل العادي المنفصل. 

لكن في بعض الحالات التحويل إلى شكل عادي منفصل يمكن أن يقود إلى تفجير أُسي لصيغة.

مثال، تحويل هذه الصيغة: إلى شكل عادي منفصل ينتج صيغة بحدين.

كل دالة بوليانية يمكن تمثيلها بشكل واحد عادي منفصل كامل فقط (ملاحظة: تجاهل الإختلاف القائمة على الترابط والتبديل بين والمنطقية وأوالمنطقية). في المقابل شكلان عاديين منفصلان ربما يدلان على نفس الدالة البوليانية.

التعقيد الحسابي 
في مسألة قابلية الارضاء المنطقية على صيغ شكل العادي المرتبط يكون مسألة NP صعبة، بسبب مبدأ الازدواجية، وكذلك مشكلة قابلية التزوير في الشكل العادي المنفصل. لذا يكون مسألة co-NP صعبة لتقرير إذا كان صيغة شكل العادي المنفصل طوطولوجي.

اقرأ ايضًا 
•اختصار التوابع المنطقية بطريقة كوين ماكلوسكي، حصول على الحد الأدنى من الأشكال العادية المنفصلة لدالة بوليانية.

•جدول الحقيقة.

مصادر

روابط خارجية 

 

جبر