ما هي خارطة مادبا؟
خارطة مادبا
خريطة مادبا الفسيفسائية هي جزء من أرضية فسيفسائية لكنيسة قديمة في مدينة مادبا في الأردن، تعود إلى العصر البيزنطي. وهي أقدم خريطة أصلية للأراضي المقدسة، والتي يعود إنشاؤها إلى سنة 560. توجد اليوم داخل كنيسة القديس جوارجيوس في مدينة مادبا، والتي بُنيت في عام 1896 فوق بقايا الكنيسة البيزنطية.[1]
خريطة كارنوف
عدد الخلايا في خريطة كارنوف يعتمد على عدد التشكيلات المتغيرات (المداخل), وكمثال على ذلك الشكل (1-1),فهناك متغيران فقط هما(A,B). وبناءَ على ذلك فإن خريطة كارنوف تحتوي على أربعة تشكيلات (00,01,10,11) 
وكل خلية في خريطة كارنوف ذات المتغيرين تمثل واحد من الأربعة تشكيلات للدخل وعملياَ علامات الدخل (Input Labels) توضع خارج الخلايا كما هو موضح بالشكل (1-2) وتطبق على كل من الصف والعمود للخلايا، فمثلاَ الصف الذي أمامه A' يطبق على الخلايا العليا، بينما الذي أمامه A يطبق على الخلايا السفلى. ونرى في أعلى الخريطة المتغير B' يطبق على الخلايا التي على اليسار, بينما النتغير B يطبق على الخلايا التي على اليمين ،وكمثال.. فإن الخلية السفلى التي على اليمين تمثل تشكيلة الدخل AB 
الشكل (1-3-أ)، (1-3- ب) يوضحان هيئة خريطة كارنوف لثلاث متغيرات (8 خلايا),
وأربعة متغيرات (16 خلية)
وبعد التعرف على كيفية إنشاء خريطة كارنوف، سوف نرى كيف يمكن أن تستخدم لتبسيط الدوال المنطقية، وكمثال على ذلك نفترض أننا نريد تصميم دالة منطقية لها جدول الحقيقة الموضح في الشكل (1-4- أ).