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