Karno xaritasi katta ifodalar bilan ishlashning nisbiy soddaligini ta'minlaydigan va potentsial irqlarni yo'q qiladigan kommutatsion (Boolean) funktsiyalarni minimallashtirishning grafik usulidir. Ikkilamchi to'liqsiz bog'lanish va elementar assimilyatsiya operatsiyalarini aks ettiradi. Carno xaritalari funktsiyaning mos ravishda qayta tuzilgan haqiqat jadvali sifatida ko'rib chiqiladi. Karno kartalari no'lchovli Boolean kubining ma'lum bir tekis skaneri sifatida ko'rib chiqilishi mumkin. 2
Mantiqiy funktsiyaning murakkabligi va shuning uchun uni amalga oshiradigan kontaktlarning zanjiri (davri) ning qiymati va qiymati mantiqiy operatsiyalar soni va o'zgaruvchilar yoki ularning rad etilishlarining soni bilan mutanosibdir. Aslida, har qanday mantiqiy funktsiyani to'g'ridan-to'g'ri aksioma va mantiq teoremalari yordamida soddalashtirish mumkin, ammo, qoida tariqasida, bunday o'zgartirishlar juda katta hisob- kitoblarni talab qiladi.
Karno xaritasida ikki, to'rt, sakkiz va hokazo guruhlarni shakllantirishning umumiy tartibi juda oddiy. Birlikni o'z ichiga olgan ikkita qo'shni juftliklar to'rtta kvadratdan iborat guruhga birlashtirilishi mumkin. To'rt kvadratdan iborat ikkita qo'shni guruh sakkiz kvadratchadan iborat guruhga birlashtirilishi mumkin.
Karno xaritalari 1952 yilda Edvard Veyt tomonidan ixtiro qilingan va 1953 yilda Bell Labs fizigi Maurice Carno tomonidan takomillashtirilgan va raqamli elektron aylanishlarni soddalashtirishga yordam berish uchun yaratilgan. Karno xaritasining asosiy g'oyasi shundaki, gorizontal va vertikal ravishda bir-birining yonida joylashgan kvadratchalar faqat bitta o'zgaruvchining qiymatlarida farq qiladi. Agar ikkita qo'shni kvadratlar birliklardan iborat bo'lsa, bu tegishli atamalar juftligini algebraik soddalashtirish imkoniyatini anglatadi.
Kompyuterning mantiqiy zanjirlarini loyihalash va tahlil qilish matematikaning maxsus bo'limi - mantiq algebrasi yordamida amalga oshiriladi. Mantiq algebrasida uchta asosiy mantiqiy funktsiyani ajratish mumkin: "YO'Q" (inkor qilish), "VA" (uyg'unlik), "OR" (ajralish). Har qanday mantiqiy qurilmani yaratish uchun har bir chiqish o'zgaruvchisining haqiqiy kiritish parametrlariga bog'liqligini aniqlash kerak.
Foydalinilgan adabiyotlar:
Ф.А.Новиков. Дискретная математика для программистов. ЗАО Издательский дом «Питер», 2007
Т.А. Азларов ва бошк. Математикадан қўлланма. «Ўқитувчи» нашриёти, Т., 1990.-352б.