تتميز طريقةخريطة كارنوه من بين مجموعة الطرائق المتاحة للتصغير الأعظمي التقليدي للدوال التبديلية بأنها طريقة يدوية سريعة تزود مستعملها ببصيرة تصويرية. وثمة شكل ستطور من هذه الخريطة هو خريطة كارنوه متغيرة المحتويات ( خ ك غ ح ) يضاعف المتغيرات التي تتعامل معها الخريطة فضلاعن أنه يسمح باستخدامها مع أنواع الجبر البولاني الكبيرة. تقدم ورقة البحث هذه عرضا توضيحيا مبتكرا للملامح والخصائص الأساسية لهذا النوع الأخير من الخريطة معظمها ينشر لأول مرة ، كما تقدم إجراءا لهذه الخريطة يتسم بالبساطة ويتمتع بتحسينات إضافية يستخدم للحصول على إحدى الصيغ غير الوافرة لمجموع المضروبات لدالة تبديلية غير كاملة التحديد. ويتم استغلال مفاهيم الازدواجية لتحويل هذا الإجراء إلى إجراء مزاوج يستخدم للحصول على صيغة غير وافرة لمضروب المجموعات لمثل هذه الدالة. ويختلف هذان الإجراءات عن الإجراءات السابقة من ناحيتين : الأولى أن الإجراءين الحاليين هما إجراءان أكثر تطورا مجهزان بمجموعة من القواعد المنصوص عليها صراحة تتصف بأنها أكثر وضوحا رغم كونها أفضل قدرة من نظيراتها في الإجراءات السابقة، والثانية أن الإجراءين الحاليين أكثر دقة في معالجتهما لإسهامات مضروب أو مجموع حروف أحادية مدخل في الخريطة، ومن ثم فإن فرصتهما أرجح في أن يحصرا التفصيلات الفرعية الصغيرة في البنية الذاتية للدالة التبديلية غير كاملة التحديد التي هي محل الاعتبار. ولهذا السبب فإن الإجراءين الحاليين، إن جرى اتباعهما بدقة تامة، لهما فرصة أرجح لبلوغ التصغير الأعظمي بلوغا تاما ، وحتى إن لم يتحقق ذلك فإن من المضمون دائما أن تكون التعبيرات الناشئة عنهما مقاربة للصورة الصغرى. تتضمن الورقة أمثلة توضحية عديدة للكشف عن الملامح والخصائص الأساسية للخريطة ولتفسير قواعد وخطوات الإجراءين الجديدين.
[1]
Saburo Muroga,et al.
Logic design and switching theory
,
1979
.
[2]
A. Rushdi.
Map differentiation of switching functions
,
1986
.
[3]
A. Rushdi.
Logic design of NAND(NOR) circuits by the entered-map-factoring method
,
1987
.
[4]
Frank M. Brown,et al.
Boolean reasoning - the logic of boolean equations
,
1990
.
[5]
F. M. Brown,et al.
An improved state diagram
,
1991
.
[6]
William I. Fletcher.
Engineering approach to digital design
,
1980
.
[7]
A. Rushdi.
Map derivation of the minimal sum of a switching function from that of its complement
,
1985
.
[8]
Randal E. Bryant,et al.
Graph-Based Algorithms for Boolean Function Manipulation
,
1986,
IEEE Transactions on Computers.
[9]
A. Rushdi.
Improved variable-entered Karnaugh map procedures
,
1987
.
[10]
Ali M. Rushdi.
Symbolic Reliability Analysis with the Aid of Variable-Entered Karnaugh Maps
,
1983,
IEEE Transactions on Reliability.