خريطة كارنوف أو خريطة K هي طريقة مرئية لتبسيط التعبيرات الجبرية وتماثل جدول الحقيقة لأنها تعطي لنا كل القيم المحتملة للمداخل ونتيجة الخرج لكل قيمة.  وتمثل كل خلية القيمة الثنائية لإحدى تشكيلات المداخل.  وعدد الخلايا في خريطة كارنوف يساوي عدد التشكيلات المحتملة للمداخل.  وسنورد لمحة بسيطة عن خمسة وستة متحولات.