16. طريقة كواين-ماكلوسكي (التقليل الجدولي)

بينما تُعد خرائط كارنوف ممتازة لما يصل إلى أربعة متغيرات، تصبح الدوال المعقدة (خمسة متغيرات أو أكثر) صعبة التصور للغاية. طريقة كواين-ماكلوسكي (Q-M) هي نهج منهجي وخوارزمي مناسب للأتمتة والحل اليدوي للمشكلات الكبيرة.

نظرة عامة على الطريقة

Q-M هي عملية من خطوتين:

الخطوة 1: إيجاد المتضمنات الأولية (Prime Implicants)

1. سرد جميع الحدود الصغرى (وحالات 'لا يهم') بالنظام الثنائي.
2. تجميعها حسب عدد 'الآحاد' (وزن هامنغ).
3. قارن المجموعات المتجاورة، وادمج الحدود التي تختلف ببت واحد بالضبط. استبدل البت المختلف بشرطة ('-').
4. كرر عملية الدمج هذه حتى لا يمكن دمج المزيد من الحدود. أي حد لم يتم وضع علامة عليه كـ "مدمج" هو متضمن أولي (PI).

الخطوة 2: اختيار المتضمنات الأولية الأساسية

1. أنشئ جدول المتضمنات الأولية، وسرد PIs مقابل الحدود الصغرى الأصلية (باستثناء 'لا يهم').
2. حدد المتضمنات الأولية الأساسية (EPIs): وهي PIs التي تغطي حدًا أصغر واحدًا على الأقل بشكل فريد.
3. اختر EPIs للحل النهائي.
4. استخدم PIs غير الأساسية لتغطية أي حدود صغرى متبقية غير مغطاة، بحثًا عن أصغر مجموعة إجمالية من PIs.

الأهمية

نادرًا ما يتم تنفيذ Q-M يدويًا للمشكلات الكبيرة اليوم، ولكن فهم الخوارزمية أساسي لمعرفة كيفية قيام أدوات التصميم بمساعدة الحاسوب (CAD) بتقليل المنطق (مثل الاستدلال الإسبريسو Espresso heuristic).