شكل عادي الملتحمة (كنف) وشكل طبيعي منفصل (دنف) هي أشكال مهمة وتستخدم على نطاق واسع لتمثيل التعبيرات المنطقية. يتكون كنف من عدة اقترانات (منطقية و) من الانفصال المنطقي (منطقي أو) ، و دنف يتضمن عدة تقاطعات من الاقتران المنطقي. في هذه المقالة ، سوف ننظر في الخطوات والقواعد الأساسية للحصول على كنف من دنف ، والتي سوف تساعدك على تحويل التعبيرات المنطقية إلى النموذج المطلوب.
الخطوة الأولى في تحويل دنف إلى كنف هو فتح الأقواس. في دنف ، كل تعبير منطقي هو داخل قوس. للحصول على كنف ، فمن الضروري فتح الأقواس وتطبيق قانون التوزيع. هذا يعني أن كل اقتران يجب أن يحتوي على جميع المجموعات الممكنة من قيم المتغيرات الموجودة في التعبير الأصلي.
الخطوة الثانية هي تطبيق قوانين دي مورغان. ينص قانون دي مورغان على أن نفي الاقتران أو الانفصال يمكن تحويله إلى انفصال أو اقتران ، على التوالي ، عن طريق إبطال كل عنصر. هذا يسمح لك لتحويل دنف إلى شكل فيه كل عنصر هو فصل من المتغيرات ، ونفي الذي يحدد قيمة لهذا التعبير.
الخطوة الثالثة هي التعبير عن كنف في شكل قياسي. الشكل القياسي للكنف هو أن كل اقتران يحتوي على الحد الأقصى لعدد المتغيرات ، ويتم تمثيل كل متغير في كل اقتران في شكل إيجابي أو سلبي. يتم تحقيق ذلك عن طريق إضافة المتغيرات المفقودة إلى كل اقتران ويتم استبدال المتغيرات التي كانت موجودة في شكل سلبي بسلبياتها.
من المهم أن نلاحظ أن تحويل دنف إلى كنف ليس من الممكن دائما دون إجراء تغييرات على التعبير المنطقي الأصلي. في بعض الأحيان تكون هناك حاجة إلى متغيرات إضافية أو تحويلات أخرى لتحقيق النتيجة المرجوة.
- تعريف كنف و دنف
- تطبيق كنف و دنف
- الخطوات الرئيسية للحصول على كنف من دنف
- الخطوة 1: تحديد المتغيرات
- الخطوة 2: تحويل دنف إلى كنف
- الخطوة 3: القضاء على النفي المتغير
- الخطوة 4: القضاء على العطف مع متغير واحد
- قواعد لتحويل دنف إلى كنف
- مثال على تحويل دنف إلى كنف
- سؤال وجواب
- كيفية تحديد مجموعة من المتغيرات للحصول على كنف من دنف?
- كيفية جعل دنف?
تعريف كنف و دنف
كنف (شكل عادي الملتحمة) و دنف (شكل طبيعي منفصل) هما الشكلان الرئيسيان لتمثيل التعبيرات المنطقية في المنطق وعلوم الكمبيوتر.
و دنف هو التعبير المنطقي الذي يتكون من العطف (منطقية أو) الحرفية أو نفيها. الحرفي هو متغير أو نفيه. يتم كتابة دنف كما انفصال (منطقي و) من هذه العطف. على سبيل المثال:
| التعبير | دنف |
| (أ و ب) و (ج و د) | (ألف وباء وجيم ودال) |
| (أ أو ب) و (ج أو د) | (أ و ج) و (أ و د) و (ب و ج) و (ب و د) |
كنف هو تعبير منطقي يتكون من مفارقات (منطقية أو) حرفية أو نفيها. هو مكتوب كنف كما اقتران (منطقي و) من هذه الانقسامات. على سبيل المثال:
| التعبير | كنف |
| (أ أو ب) و (ج أو د) | (أ و ج) و (أ و د) و (ب و ج) و (ب و د) |
| (أ و ب) و (ج و د) | (ألف وباء وجيم ودال) |
وهكذا ، دنف و كنف توفير تمثيل تطبيع التعبيرات المنطقية التي يمكن استخدامها لتبسيط وتحليل التعبيرات المنطقية. وتستخدم كنف و دنف على نطاق واسع في تمثيل وظائف منطقية في النظم الرقمية وفي خوارزميات الذكاء الاصطناعي.
تطبيق كنف و دنف
كنف (شكل عادي الملتحمة) و دنف (شكل طبيعي منفصل) نوعان من أشكال تمثيل التعبيرات المنطقية التي يمكن استخدامها في مختلف المجالات حيث يتم تطبيق العمليات المنطقية.
تطبيق كنف:
- في المنطق والرياضيات الحديثة ، يستخدم كنف لدراسة الوظائف المنطقية وخصائصها.
- ويمكن أيضا أن تستخدم كنف لتحليل خصائص واستنتاج عواقب صيغة منطقية.
- في البرمجة ، يمكن استخدام كنف لتحسين العمليات الحسابية والعمليات المنطقية ، مثل التحقق من وجود عنصر في قائمة.
- كنف يمكن أن تكون مفيدة في حل مشكلة جدوى صيغة منطقية (سات).
- استخدام كنف أيضا يجعل من الممكن لتبسيط التعبيرات المنطقية وتحديد هيكلها والتبعيات.
تطبيق دنف:
- في هندسة الدوائر والهندسة الكهربائية ، يتم استخدام دنف لتحليل وتصميم الدوائر المنطقية ودوائر التبديل.
- دنف يمكن استخدامها لوصف تشغيل الأجهزة المنطقية مثل و-أو-لا (و ، أو ، لا) العناصر.
- في علوم الكمبيوتر والبرمجة ، دنف يمكن استخدامها لتنفيذ العمليات المنطقية وتصفية البيانات.
- ويمكن أيضا أن تستخدم دنف لتحليل وتحسين تشغيل قواعد البيانات والاستعلامات لهم.
- باستخدام دنف يسمح لك لاستنتاج النتائج المنطقية وإثبات جدوى الصيغ المنطقية.
بشكل عام ، كنف و دنف هي أدوات لتحليل ومعالجة التعبيرات المنطقية. يعتمد الاختيار بينهما على المهمة المحددة ومتطلبات عرض البيانات. كلا النموذجين لهما مزايا وقيود ، ويمكن استخدامهما لحل المهام المختلفة في مختلف المجالات.
الخطوات الرئيسية للحصول على كنف من دنف
عملية تحويل دنف (شكل طبيعي منفصل) إلى كنف (شكل عادي الملتحمة) ينطوي على عدد من الخطوات والقواعد التي تسمح لك للانتقال من شكل واحد من تمثيل التعبير المنطقي إلى آخر. وفيما يلي الخطوات الرئيسية التي ينبغي اتباعها للحصول على كنف من دنف:
- فهم دنف: دنف هو تعبير منطقي يستخدم الاقتران بين مجموعات من الحرفية أو نفيها. من المهم أن نفهم كيف يتم تنظيم عرض دنف.
- تحديد العطف: حدد كل اقتران يمثل تعبيرا منفصلا. للقيام بذلك ، والانتباه إلى تجميع الحرفية وعلاقتها المشغل بالتزامن.
- تحديد الانفصال: قسم كل اقتران إلى فواصل منفصلة ، إن وجدت. قسم كل مجموعة من القيم الحرفية مفصولة بعامل الفصل إلى فواصل منفصلة.
- تحويل النفي: تحويل نفي كل حرفي إلى دنف باستخدام قانون دي مورغان. استبدل كل نفي للحرف بنفيه والعكس صحيح.
- التحويل إلى النموذج القياسي: إجراء تحويلات إضافية لجلب دنف إلى مظهر أكثر القياسية. قد يشمل ذلك إزالة الفواصل المكررة ، ودمج أدوات الاقتران بنفس القيمة ، وما إلى ذلك.
- بناء كنف: استخدام دنف القياسية الناتجة لبناء كنف. للقيام بذلك ، الجمع بين كل فصل في كنف باستخدام عامل الاقتران.
بعد هذه الخطوات ، سوف تكون قادرة على تحويل دنف إلى كنف والحصول على الشكل المطلوب لتمثيل التعبير المنطقي.
الخطوة 1: تحديد المتغيرات
الخطوة الأولى في الحصول على كنف من دنف هو تحديد المتغيرات التي سيتم استخدامها في التعبير.
المتغيرات هي رموز أو أحرف تمثل حالة أو قيمة ما. أمثلة من المتغيرات هي "ص" ، "س"أو " س".
من المهم تحديد جميع المتغيرات التي سيتم استخدامها في دنف بشكل صحيح ، لأنها ستكون الأساس لمزيد من التحولات.
لذلك ، قبل بدء العمل ، يجدر تحليل المهمة بعناية وإبراز جميع المتغيرات الضرورية. تأكد من أنك لم تفوت أي شيء مهم وحددت جميع المتغيرات بشكل صحيح.
على سبيل المثال ، إذا كان لديك دنف ، وهو تعبير منطقي يصف شرطا لتنفيذ بعض الإجراءات ، يجب عليك تحديد جميع المتغيرات التي يمكن أن ترتبط بهذا الشرط. يمكن أن تكون هذه متغيرات تمثل حقيقة البيانات أو قيم أي معلمات.
أيضا ، تذكر أنه في كنف ، كل متغير يمكن أن يكون صحيحا أو خاطئا ، لذلك فمن الضروري تحديد جميع المجموعات الممكنة من القيم المتغيرة التي ستشارك في التعبير.
الخطوة 2: تحويل دنف إلى كنف
كنف (شكل عادي اقتراني) هو تعبير منطقي يحتوي فيه كل إغلاق (انفصال) على متغير واحد على الأقل ويحدث كل متغير كشكل موجب أو سلبي في إغلاق واحد فقط. دنف (شكل طبيعي منفصل) ، من ناحية أخرى ، هو تعبير منطقي يحتوي فيه كل جملة على اقتران المتغيرات.
لتحويل دنف إلى كنف ، اتبع الخطوات التالية:
- تخلص من النفي في الحجرات: تطبيق قانون دي مورغان للنفي داخل الحجرات. للقيام بذلك ، استبدل كل نفي للمتغير في الإغلاق بنفيه واجمع الخزانات الناتجة باستخدام العملية "أو".
- قم بتوسيع الأقواس وتبسيطها: إذا كانت هناك أقواس في الخزانات الناتجة ، فقم بتوسيعها للحصول على جميع المجموعات الممكنة من الخزانات. ثم قم بتطبيق قواعد التبسيط لتبسيط الخزانات الناتجة. على سبيل المثال ، إذا كانت المتغيرات المكررة موجودة في نفس الخزانة ، فاحذفها أو ادمجها في مثيل واحد.
- تشكل كنف: الجمع بين الحجرات الناتجة باستخدام عملية" و " للحصول على اقتران من الحجرات. ونتيجة لذلك ، سوف تحصل على كنف النهائي يمثل التعبير دنف الأصلي.
بعد الانتهاء من هذه الخطوات ، سوف تحصل على ما يعادل كنف للتعبير دنف الأصلي. كنف يجعل من الاسهل للعمل مع التعبيرات وتطبيق مختلف القواعد والأساليب لتبسيط أو تحليلها.
الخطوة 3: القضاء على النفي المتغير
بعد أن قمنا بتحويل دنف إلى كنف ، فإن الخطوة التالية هي القضاء على نفي المتغيرات. يجب القيام بذلك من أجل إحضار الصيغة إلى شكل يتم فيه استخدام المتغيرات الإيجابية فقط.
يمكن التخلص من نفي المتغير باستخدام القواعد التالية:
- إذا تم تمثيل المتغير بنفي واحد ، فيمكننا ببساطة إزالة النفي وترك المتغير دون تغيير.
- إذا تم تمثيل المتغير بنفي داخل الأقواس ، فيمكننا تطبيق قانون دي مورغان للتعبير عن النفي كعملية على متغيرين.
- إذا تم تمثيل متغير بنفي بالقرب من متغير آخر تم إبطاله ، فيمكنك ببساطة إزالة النفي المزدوج.
تطبيق هذه القواعد يسمح لنا للقضاء على نفي المتغيرات والحصول على كنف في شكل اقتران بسيط من المتغيرات الإيجابية.
على سبيل المثال إذا كان لدينا التعبير (أ ∨ ب) ∧ (ج ∨ د) بعد تطبيق قواعد الخطوة 3 ، يمكننا الحصول على CNF في شكل (أ ∨ ب) ∧ (ج ∨ د).
الخطوة 4: القضاء على العطف مع متغير واحد
لتحسين قابلية القراءة وتبسيط التعبير المنطقي ، يمكنك التخلص من أدوات الاقتران بمتغير واحد. الاقتران هو عملية منطقية تجمع بين تعبيرين أو أكثر بطريقة تجعل التعبير الناتج صحيحا فقط إذا كانت جميع التعبيرات الواردة صحيحة.
يتم تنفيذ القضاء على العطف مع متغير واحد بسهولة على النحو التالي:
- ابحث عن جميع أدوات الاقتران بمتغير واحد فقط.
- استبدل كل اقتران بمتغير واحد بهذا المتغير.
على سبيل المثال ، دعونا نقول لدينا دنف التالية:
| الاقتران | المتغيرات |
|---|---|
| 1 | A |
| 2 | أ B ب |
| 3 | أ B ب |
في هذه الحالة ، لدينا اقتران واحد مع متغير واحد — الاقتران 1. يمكننا ببساطة استبدال هذا الاقتران بالمتغير أ.
بعد الانتهاء من هذه الخطوة ، نحصل على كنف التالية:
| الاقتران | المتغيرات |
|---|---|
| 1 | A |
| 2 | أ B ب |
| 3 | أ B ب |
الآن ليس لدينا اقتران مع متغير واحد ، ويمكننا المضي قدما إلى الخطوة التالية لتحويل دنف إلى كنف.
قواعد لتحويل دنف إلى كنف
لتحويل دنف (شكل عادي منفصل) إلى كنف (شكل عادي الملتحمة) ، وهناك بعض القواعد التي ينبغي اتباعها. فيما يلي القواعد الأساسية لتحويل دنف إلى كنف:
- قاعدة النفي المزدوج: يمكن تبسيط أو حذف النفي المزدوج للتعبير.
- قاعدة التوزيع أو التوزيع: في وجود الضرب والإضافة ، يمكن استخدام خاصية التوزيع لفصل التعبيرات.
- قاعدة التعريف: تسمح لك بدمج المتغيرات المتطابقة في تعبير واحد لتقصير السجل.
- قاعدة الاستحواذ: يسمح لك بتبسيط التعبير إذا كان أحد التعبيرات يمتص الآخر تماما.
- قاعدة القضاء على الحالة التافهة: إذا كان التعبير تافها (دائما ما يكون خاطئا أو صحيحا دائما) ، فيمكن تبسيطه إلى القيمة المقابلة للكنف.
- قاعدة العالمية: يمكن تبسيط التعبير إذا كان صحيحا لأي قيمة متغيرة. هذا يعادل الكشف الكامل عن جميع المجموعات الممكنة من القيم المتغيرة.
باتباع هذه القواعد ، يمكننا تحويل دنف تدريجيا إلى كنف. من المهم أن تتذكر أن كل تحويل يجب أن يحافظ على تكافؤ التعبير الأصلي. يرجى ملاحظة أن كنف النهائي قد تحتوي على شروط مكررة وزائدة عن الحاجة ، وهو أمر طبيعي.
مثال على تحويل دنف إلى كنف
لنفترض أن لدينا دنف التالية (شكل طبيعي منفصل):
| الحجة 1 | الحجة 2 | الحجة 3 | النتيجة |
|---|---|---|---|
| صحيح | خطأ | خطأ | صحيح |
| خطأ | صحيح | خطأ | صحيح |
| خطأ | خطأ | صحيح | صحيح |
| خطأ | صحيح | صحيح | خطأ |
لتحويل هذا دنف إلى كنف (شكل عادي الملتحمة) ، يجب علينا اتباع الخطوات التالية:
- نحدد جميع الصفوف حيث تكون النتيجة خاطئة. في هذه الحالة ، هو الخط 4.
- عكس القيم في هذا السطر وكتابتها كما نفي لكل وسيطة. نحصل على المجموعات التالية من الحجج: (خطأ ^ صحيح ^ صحيح).
- نواصل هذه العملية لجميع الصفوف حيث تكون النتيجة خاطئة.
- نضع كل المجموعات الناتجة من الوسيطات معا باستخدام عملية الفصل (أو). نحصل على كنف في هذا النموذج: (صحيح ^ خطأ ^ خطأ) الخامس (خطأ ^ صحيح ^ خطأ) الخامس (خطأ ^ خطأ ^ صحيح).
- تبسيط التعبير الناتج. في هذه الحالة ، ليس لدينا طريقة لتبسيطها أكثر ، لأن جميع مجموعات الحجج بسيطة بالفعل.
وبالتالي ، فإن كنف الناتجة عن دنف المقدمة تبدو مثل هذا:
| الحجة 1 | الحجة 2 | الحجة 3 |
|---|---|---|
| صحيح | خطأ | خطأ |
| خطأ | صحيح | خطأ |
| خطأ | خطأ | صحيح |
وهكذا ، قمنا بتحويل دنف بنجاح إلى كنف باستخدام خطوات بسيطة وقواعد التحويل.
سؤال وجواب
كيفية تحديد مجموعة من المتغيرات للحصول على كنف من دنف?
لتحديد مجموعة المتغيرات في عملية الحصول على كنف من دنف ، تحتاج إلى دراسة بعناية الشرط الذي يتم تحديد التعبيرات المنطقية. جميع المتغيرات المستخدمة في الحالة هي مجموعة من المتغيرات. من الضروري كتابة أسماء جميع المتغيرات وتذكرها لمزيد من الخطوات.
كيفية جعل دنف?
لتجميع دنف ، فمن الضروري استخدام مجموعات من القيم المتغيرة التي تعطي نتيجة إيجابية للشرط. لكل مجموعة من قيم المتغيرات التي تتضمن نتائج إيجابية فقط ، نكتب عملية منطقية " و " بين المتغيرات. إذا كان لدينا عدة مجموعات من القيم المتغيرة التي تعطي نتيجة إيجابية ، نكتب عملية منطقية " أو " بين هذه المجموعات. وهكذا ، فإننا تشكل شكل طبيعي منفصل (دنف) لحالة معينة.