التكوين الطبيعي المنفصل المنطقي المصغر (مدنف) هي طريقة مستخدمة في نظرية الجبر المنطقي والمنطق لتمثيل وظيفة منطقية كاقتران لعدد أدنى من الانفصال. بكلمات بسيطة ، مدنف يسمح لك للحد من التعبير المنطقي إلى أصغر عدد من الشروط المنطقية البسيطة.
ولكن كيف تجد مدنف? في هذه المقالة ، سنلقي نظرة على بعض الخطوات البسيطة والنصائح المفيدة التي ستساعدك على إتقان هذه الطريقة وتطبيقها على مهامك.
الخطوة الأولى في العثور على مدنف هو تحديد وظيفة منطقية التي تريد تصغيرها. ثم يمكنك بناء جدول الحقيقة لرؤية جميع التوليفات الممكنة من القيم المتغيرة. سيسمح لك ذلك بتحديد المجموعات التي ستؤدي إلى "1 "(صحيح) و" 0 " (خطأ).
بعد ذلك ، يمكنك استخدام طريقة كواين (خوارزمية كواين) لتجميع مجموع المصطلحات المقابلة للمجموعات التي تأخذ فيها الدالة المنطقية القيمة "1". ثم ببساطة الجمع بين هذه مينترمز باستخدام" أو " العملية والحصول على مدنف.
- كيفية العثور على مدنف: مجموعة من الخطوات البسيطة
- الخطوة 1: فهم مفهوم مدنف
- الخطوة 2: دراسة المبادئ الأساسية للمؤسسة
- الخطوة 3: إجراء العمليات الحسابية
- الخطوة 4: بناء جدول الحقيقة
- الخطوة 5: فهم مبادئ التقليل من مدنف
- الخطوة 6: تطبيق خوارزمية كواين-مكلوسكي
- الخطوة 7: تحقق من مدنف المستلمة للتأكد من صحتها
- سؤال وجواب
- لماذا أحتاج للبحث عن مدنف?
- كيف يمكنني العثور على مدنف من وظيفة منطقية?
- البرنامج الذي أفضل يساعدك على البحث عن مدنف?
- ما هو الانفصال?
- ما هي بعض النصائح المفيدة للعثور على مدنف?
كيفية العثور على مدنف: مجموعة من الخطوات البسيطة
الخطوة 1: بناء جدول الحقيقة من وظيفة التي تحتاج إلى العثور على مدنف. يتكون الجدول من جميع المجموعات الممكنة لقيم متغيرات الإدخال وقيم الوظائف المقابلة لها.
الخطوة 2: حدد الصفوف في الجدول حيث تكون قيمة الوظيفة 1. تسمى هذه الخطوط الانفصال الأقصى.
الخطوة 3: لكل فصل أقصى ، اتبع الخطوات التالية:
- حدد أعمدة الجدول التي تكون فيها القيمة 1 للفصل الأقصى الحالي.
- إنشاء منتجات أولية لكل عمود من هذا القبيل. يتكون المنتج الأولي من متغير واحد أو أكثر ويمكن أن يأخذ قيمة المتغير أو نفيه.
- الجمع بين المنتجات الأولية وفقا لحالة الحد الأقصى الحالي للانفصال والجمع بينهما باستخدام المنطقية أو العملية. والنتيجة التي تم الحصول عليها سوف تتوافق مع أقصى انفصال من مدنف.
الخطوة 4: الجمع بين جميع مدنف التي تم الحصول عليها لكل انفصال أقصى في تعبير واحد باستخدام منطقية أو عملية.
الخطوة 5: تبسيط التعبير مدنف الناتجة باستخدام قوانين الجبر المنطقي وخصائص العمليات المنطقية.
الخطوة 6: ستكون نتيجة هذه الإجراءات مدنف للوظيفة المحددة.
الخطوة 1: فهم مفهوم مدنف
مدنف (الحد الأدنى من شكل طبيعي منفصل) هي واحدة من الطرق لكتابة وظائف منطقية في المنطق والجبر من البيانات. إنه مجموع نواتج القيم الحرفية ، مثل المتغيرات ونفيها ، التي تشكل أدوات الاقتران. و مدنف لديه شكل:
| p | p | p | `- ف' | `- ف' | `- ف' | q | q | q | `- س' | `- س' | `- س' | r | r | r | … | |||||
| + | + | + | + | + | + | + | + | + | + | + | + | … | + | + | + |
و مدنف هو الجدول الذي كل صف يتوافق مع مجموعة واحدة من المتغيرات مع الحد الأقصى لعدد القيم ، التي تأخذ وظيفة القيمة 1. تحتوي خلايا الجدول على قيم القيم الحرفية في هذه المجموعة من المتغيرات.
لا تؤخذ مجموعات المتغيرات التي تأخذ الدالة القيمة 0 في الاعتبار في مدنف.
مدنف لديها خصائص:
- يحتوي كل مصطلح من مدنف على جميع متغيرات الوظيفة ، ويمكن أن يكون كل متغير موجودا في المصطلح في شكل مباشر وسالب.
- جميع المصطلحات في مدنف لديها أقصى عدد ممكن من "1" في مجموعات من المتغيرات.
- يمكن تكرار المتغيرات في مدنف.
لفهم الخطوات التالية في البحث عن مدنف ، من المهم أن يكون لديك فكرة عن كيفية استخدام هذه الطريقة في كتابة وظائف منطقية.
الخطوة 2: تعلم المبادئ الأساسية ل مدنف
مدنف (الحد الأدنى من شكل طبيعي منفصل) هو شكل من أشكال تمثيل التعبير المنطقي الذي كل صف من الجدول الحقيقة يتوافق مع الشرط الذي التعبير يأخذ قيمة الحقيقة.
المبادئ الأساسية للصندوق:
- الانفصال هو عملية إضافة منطقية تأخذ قيمة الحقيقة إذا كان أحد المعاملات على الأقل صحيحا. في جدول الحقيقة ، يشار إليه بالرمز " + "أو"∨".
- الشكل العادي هو شكل يكون فيه لجميع التعبيرات تمثيل موحد معين. في حالة مدنف ، يتم تمثيل كل فصل على أنه اقتران للمتغيرات ونفيها.
- الحد الأدنى هو خاصية مدنف عندما يتم تقديم التعبير في أبسط أشكاله وأكثرها الحد الأدنى. هذا يعني أنه لا توجد طريقة لتبسيط التعبير أو إزالة المتغيرات غير الضرورية.
يمكن استخدام جدول الحقيقة لتجميع مدنف. يعرض جميع المجموعات الممكنة من قيم المتغيرات وقيم التعبير المقابلة. بعد تحليل جدول الحقيقة ، يمكنك المضي قدما في العثور على مدنف وفقا لخوارزمية معينة.
معرفة المبادئ الأساسية ل مدنف سوف تساعدك على فهم كيفية إنشاء مدنف لأي تعبير منطقي واستخدامه لتبسيط العمل مع وظائف منطقية والخوارزميات.
الخطوة 3: إجراء العمليات الحسابية
بعد أن قمنا بتحويل الجدول الأصلي وتحديد جميع المجموعات الممكنة من القيم المتغيرة ، نحن على استعداد لإجراء عمليات حسابية لكل مجموعة. ستكون نتيجة هذه العمليات هي العثور على الوظيفة التي نبحث عنها — الحد الأدنى من الشكل العادي المنفصل (مدنف).
للقيام بذلك ، اتبع الخطوات التالية:
- اكتب جميع مجموعات القيم المتغيرة التي تم الحصول عليها في الخطوة السابقة.
- قم بإجراء عمليات حسابية باستخدام عوامل التشغيل المنطقية (و ، أو ، لا) على المجموعات الناتجة من القيم المتغيرة.
- إنشاء تعبير منطقي يجمع بين جميع النتائج التي تم الحصول عليها.
يمكن استخدام جدول الحقيقة لإجراء العمليات الحسابية. في ذلك ، تحتاج إلى تحديد نتائج كل عملية ، اعتمادا على مجموعة القيم المتغيرة.
| المتغير أ | المتغير ب | المتغير ج | العملية | النتيجة |
|---|---|---|---|---|
| 0 | 0 | 0 | ... | ... |
| 0 | 0 | 1 | ... | ... |
| 0 | 1 | 0 | ... | ... |
| 0 | 1 | 1 | ... | ... |
| 1 | 0 | 0 | ... | ... |
| 1 | 0 | 1 | ... | ... |
| 1 | 1 | 0 | ... | ... |
| 1 | 1 | 1 | ... | ... |
بناء على نتائج العمليات ، يمكنك إنشاء تعبير منطقي يجمع بين جميع النتائج التي تم الحصول عليها. وهذا سيكون مدنف المطلوب. على سبيل المثال:
و = (أ & ب) | (أ & ج) | (ب & ج)
وهكذا ، من خلال إجراء عمليات حسابية على مجموعات من القيم المتغيرة وتأليف تعبير منطقي ، يمكنك العثور على مدنف.
الخطوة 4: بناء جدول الحقيقة
بعد الحصول على نوع بسيط من التعبير المنطقي ، فإن الخطوة التالية هي بناء جدول الحقيقة. سيساعدنا جدول الحقيقة في تحديد قيم الوظيفة لجميع التركيبات الممكنة لمتغيرات الإدخال.
لبناء جدول الحقيقة ، نقوم بتنفيذ الإجراءات التالية:
- نحدد عدد متغيرات الإدخال.
- نقوم بإنشاء رأس جدول نحدد فيه جميع متغيرات الإدخال ومتغير الإخراج (قيمة الوظيفة).
- نملأ جدول الحقيقة بكل التوليفات الممكنة لقيم متغيرات الإدخال.
- لكل مجموعة من قيم متغيرات الإدخال ، نحسب قيمة الوظيفة.
مثال على جدول الحقيقة لوظيفة منطقية بثلاثة متغيرات إدخال:
| متغير الإدخال أ | متغير الإدخال ب | متغير الإدخال ج | قيمة الوظيفة |
|---|---|---|---|
| 0 | 0 | 0 | 0 |
| 0 | 0 | 1 | 1 |
| 0 | 1 | 0 | 0 |
| 0 | 1 | 1 | 0 |
| 1 | 0 | 0 | 1 |
| 1 | 0 | 1 | 0 |
| 1 | 1 | 0 | 1 |
| 1 | 1 | 1 | 1 |
سيساعدنا بناء جدول الحقيقة على تحليل الوظيفة بسهولة أكبر وتحديد الأنماط في قيمها. بل هو أيضا الأساس لمزيد من البحث عن الحد الأدنى من شكل طبيعي منفصل (مدنف).
الخطوة 5: فهم مبادئ التقليل من مدنف
مدنف (الحد الأدنى من شكل طبيعي منفصل) هو التمثيل الأمثل من وظيفة منطقية. تصغيره يسمح لك بتقليل عدد العمليات المنطقية وتبسيط التعبير.
هناك المبادئ الأساسية التالية لتقليل مدنف:
- قاعدة التعريف: يمكن دمج اثنين من الضمنيين الذين يختلفون في متغير واحد فقط أو نفيه في متغير واحد.
- قاعدة الاستحواذ: ضمني يحتوي على مجموعة من المتغيرات التي تأخذ الدالة القيمة 1 يمكن حذفها في مدنف.
- قاعدة التوزيع: يمكنك تحلل دالة إلى منتج من وظائف فرعية أصغر ومن ثم الجمع بين مدنف الناتجة.
- قاعدة الاختزال: يمكن إزالة أدوات الاقتران المتطابقة من صندوق النقد الدولي.
لتقليل مدنف ، يمكنك استخدام أساليب كارنو و كواين-مكلوسكي الخرائط. وتستند كلتا الطريقتين على تمثيل رسومي للوظيفة وتسمح لك لبناء أصغر تعبير عن مدنف.
من المهم معرفة أن التقليل من عامل مدنف يمكن تحقيقه بعدة طرق ، ولا يوجد دائما حل واحد صحيح. لكن المبادئ الأساسية للتقليل ستساعدك على اختيار الخيار الأمثل.
الخطوة 6: تطبيق خوارزمية كواين-مكلوسكي
بعد الحصول على الحد الأدنى من دنف في الخطوة السابقة ، قد تحتاج إلى تبسيط ذلك أكثر من ذلك. هنا ، تأتي خوارزمية كواين-مكلوسكي للإنقاذ ، مما يسمح لك بالعثور على المساحات الأساسية.
لتطبيق خوارزمية كواين-مكلوسكي ، اتبع الخطوات التالية:
- تحويل دنف إلى جدول حيث يمثل كل عمود متغير وكل صف يتوافق مع حرفي واحد.
- قسم صفوف الجدول إلى مجموعتين: تلك التي تحتوي على حرفية معاكسة ، وتلك التي تحتوي على نفس القيم الحرفية. ضع الصفوف في المجموعات المناسبة.
- لكل مجموعة:
- الناتج دنف مبسطة يمكن استخدامها كرد على وظيفة الأصلي.
خوارزمية كواين-مكلوسكي يسمح لك لإزالة ما يسمى شروط "زائدة" من دنف التي لا تؤثر على نتائجه. هذا يمكن أن يؤدي إلى تمثيل أكثر إحكاما للوظيفة وتبسيط العمليات الحسابية اللاحقة.
قد يتطلب تطبيق خوارزمية كواين-مكلوسكي بعض الوقت والجهد ، لكنه يسمح لك لتحقيق التمثيل الأمثل للوظيفة في الحد الأدنى من دنف. لذلك ، لا تهمل هذه الخطوة عند البحث عن مدنف.
الخطوة 7: تحقق من مدنف المستلمة للتأكد من صحتها
بعد أن كنت قد جمعت مدنف ، فمن المهم للتحقق من صحتها. سيساعد ذلك على التأكد من استنفاد جميع شروط جدول الحقيقة الأصلي وأخذها في الاعتبار.
للتحقق من صحة مدنف ، اتبع الخطوات التالية:
- قم بعمل جدول حقيقة أولي ، مع مراعاة جميع المجموعات الممكنة من القيم المتغيرة.
- تحليل كل صف من الجدول الحقيقة الأصلي ومقارنة صف مدنف المقابلة لها.
- تأكد من أن القيم في كل صف من الجدول المصدر والصف المقابل لمطابقة مدنف.
إذا تطابق جميع القيم ، ثم مدنف الخاص بك هو الصحيح ويمثل بشكل صحيح جدول الحقيقة الأصلي. إذا لم تتطابق القيم ، فتحقق من المنطق الخاص بك وراجع الخطوات السابقة. كنت قد ارتكبت خطأ في عملية تقصير أو تجميع مدنف.
التحقق من مدنف تلقى لصحة سوف تساعدك على الحفاظ على دقة وصحة نتيجة التحليل الخاص بك.
سؤال وجواب
لماذا أحتاج للبحث عن مدنف?
مدنف (الحد الأدنى من شكل طبيعي منفصل) هي واحدة من الطرق لتمثيل وظائف منطقية. البحث مدنف يسمح لك لتبسيط وظيفة منطقية إلى أصغر عدد ممكن من الانفصال.
كيف يمكنني العثور على مدنف من وظيفة منطقية?
للعثور على مدنف من وظيفة منطقية ، تحتاج إلى تنفيذ عدة خطوات: 1) قم ببناء جدول لحقيقة الوظيفة ، 2) حدد المجموعات التي تأخذ فيها الوظيفة القيمة 1 ، 3) ابحث عن الفصل المقابل لكل مجموعة ، 4) اجمع بين التقاطعات التي تم العثور عليها.
البرنامج الذي أفضل يساعدك على البحث عن مدنف?
في هذه اللحظة ، هناك العديد من البرامج التي تساعدك على البحث عن مدنف من وظائف منطقية. بعضها: لوجيك فرايدي ، إسبرسو ، كواين مكلوسكي مينيميزر. يعتمد اختيار البرنامج على تفضيلات المستخدم وتعقيد المهمة.
ما هو الانفصال?
الانفصال هو عملية في المنطق ينتج عنها تعبير جديد يكون صحيحا إذا كان أحد التعبيرات الأصلية على الأقل صحيحا. في مدنف ، وتستخدم الانفصال لتمثيل وظيفة منطقية في الطريقة الأكثر ملاءمة.
ما هي بعض النصائح المفيدة للعثور على مدنف?
عند البحث عن مدنف ، فمن المفيد أن نتذكر بعض النصائح: 1) تجنب استخدام المتغيرات غير الضرورية ، 2) استخدام قواعد الجبر المنطقي لتبسيط التعبير ، 3) استخدام البرامج لأتمتة عملية البحث مدنف ، 4) التحقق من التعبير الناتج عن صحة والامتثال للوظيفة المنطقية الأصلية.