طرق استخدام خريطة كارنوه متغيرة المحتويات للحصول على الصبغ غير الوافرة لمجموع المضروبات لدالة تبديليد من مجموعها الكامل

Abstract

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