خريطة كارنوف

خَرِيطَةُ كَارْنُوف أو جدول كارنوف أو مخطط كارنوف أو مخطط كارنو فايتش (بالإنجليزية Karnaugh map) نسبة لواضعه عالم الرياضيات الأميركي موريس كارنوف عام 1952 والذي أدخل عليها تحسينات Edward Veitch في عام 1953، هي خريطة تستعمل في الرياضيات الثنائية أو ما يسمى أيضا بالجبر المنطقي وذلك لاختصار بعض الجمل أو التعابير المنطقية. عادة ما يستعمل جدول كارنوف في المعادلات التي تحتوي على متغيران وأربع متغيرات. نظريا يمكن استعماله لعدد أكبر من المتغيرات ولكن ذلك ليس متداولا حيث توجد لمثل هذه الحالات طرق أكثر فعالية للاختزال. تعتبر الفائدة الأكبر لخريطة كارنوف تقليلها لعدد الدارات المنطقية اللازمة لتشغيل عملية ما (توفير التكاليف)، كما أنها تقلل نسبة الخطأ في حساب لطريقة الفصل الطبيعي (Disjunctive normal form) للتعابير المنطقية، حيث يكون مخرج خريطة كارنوف أبسط وأقل احتمالا للخطأ.