Karnaugh haritası

karnaugh haritası (km ya da k-map) (i̇ngilizce) boolean cebri’ndeki ifadeleri sadeleştirmek için kullanılan bir yöntemdir. maurice karnaugh 1953’te edward veitch’in 1952’te keşfettiği veitch tablosunun geliştirilmiş ve elektrik devrelerine odaklanmış versiyonu olarak tanıtıldı. veitch tablosu ve karnaugh haritası bu yüzden marquand-veitch diyagramı ve karnaugh veitch haritası (kv maps) olarak da bilinir.karnaugh haritası insanların örüntü tanıyabilme kabiliyetini kullanarak karışık hesaplamaları sadeleştirir. aynı zamanda potansiyel hata durumlarının hızlıca fark edilmesini ve ortadan kaldırılmasını kolaylaştırır.

gerekli boolean sonuçları iki boyutlu doğruluk tablosundan karnaugh haritasına aktarılır. karnaugh haritası, dışındaki hücrelerin gray kodu ile sıralandığı ve bu hücrelerin yatay-düşey birleşimlerinin temsil ettiği her hücrenin bir giriş durumunun temsil edildiği bir haritadır. haritadan 1 ve 0’ların standart formlardan birini oluşturan ideal grupları belirlenir. bu gruplar ihtiyaç duyulan boolean ifadesinin asgari terimle yazılmasında kullanılabilir. 
karnaugh haritaları fiziksel devrelerde minimum sayıda mantık kapısı kullanılması için gerçek dünyadaki mantık gereksinimlerini sadeleştirmede kullanılır. çarpımların toplamı ifadesi her zaman ve kapılarının bir veya kapısını beslemesiyle gerçekleştirilir. toplamların çarpımı ifadesi ise veya kapılarının bir ve kapısını beslemesiyle gerçekleştirilir. karnaugh haritaları aynı zamanda yazılım tasarımlarındaki mantık ifadelerini sadeleştirmek için de kullanılır. boolean ifadeleri, koşullu durumlarda olduğu gibi okuması ve sürdürülebilmesi zor ve karmaşık hâle gelebilir. ancak bir kez sadeleştirilen kod standart formlara getirildikten sonra ve- veya kapıları kullanılarak direkt gerçekleştirilebilir. basit mantık ifadelerini sadeleştirmek için şematik ve mantıksal yöntemler orta çağdan beri bulunmakta. karmaşık ifadeleri sadeleştirmek için daha sistematik metotların geliştirilmesi ise 1950’lere dayanıyor ancak 1980’lerin sonuna kadar pratikte en çok kullanılan yöntem karnaugh haritasıydı.

örnek 
karnaugh haritaları boolean cebrinde yazılmış fonksiyonları sadeleştirmek için kullanılır. örneğin, aşağıda doğruluk tablosu verilmiş boolean fonksiyonunu inceleyin.

aşağıda, boolean değişkenleri a,b,c,d ve onların tümleyenleri kullanılarak yazılmış, boolean cebrindeki aynı fonksiyonun iki farklı sadeleştirilmemiş gösterimi bulunmaktadır.

 ,  haritadaki miniterimler (doğruluk tablosunda çıktısı 1 olan satırlar).
 ,  haritadaki maxiterimler (doğruluk tablosunda çıktısı 0 olan satırlar).

karnaugh haritası 

yukarıdaki örnekte 4 farklı değişken 16 farklı şekilde gruplandırılabilir, bu yüzden doğruluk tablosunun 16 satırı ve karnaugh haritasının 16 durumu var. karnaugh haritası 4 x 4 oluşturuldu.

satır ve sütün indisleri (karnaugh haritasının üstünde ve solunda gösterilen) ikilik sayı sıralamasına göre değil de gray kodu ile sıralandı. gray kodu sayesinde ardışık hücreler arasında sadece 1 bit değişeceğinden emin olunuyor. tamamlanan bir karnaugh haritasının her bir hücresi, o kombinasyondaki girdiler için fonksiyonun oluşturacağı çıktıyı temsil ediyor.

karnaugh haritası oluşturulduktan sonra doğruluk tablosundaki bilgiler, fonksiyonun sahip olduğu en basit formlardan birisini (standart form) oluşturmak için kullanılır. karnaugh haritasındaki ardışık 1'ler ifadeleri sadeleştirebilmek için gruplanabilir. miniterimler bu 1'lerin gruplanmasıyla elde edilir. miniterim grupları dikdörtgen olmalı ve alanları ikinin katı olmalıdır(1, 2, 4, 8...). miniterim dikdörtgenleri herhangi bir 0 değerini içermeden mümkün olan en geniş dikdörtgen olmalıdır. gruplar içerisindeki hücreler farklı dikdörtgenler tarafından birden fazla kullanılabilir. i̇deal gruplar aşağıda yeşil, kırmızı ve mavi çizgilerle işaretlenmiştir, kırmızı ve yeşil gruplar çakışır. kırmızı grup 2 x 2 bir kare, yeşil grup ise 4 x 1 bir dikdörtgendir, kesişen kısımlar kahverengi ile belirtilmiştir.

hücreler genellikle daha kolay gösterim için o hücreyi kapsayan girdilerle ifade edilir. örneğin, ,  ve 'nin doğru olduğu 2 x2'lik alanı(yukarıda 9,11,13,15 nolu hücreler) kapsar. diğer taraftan  ise 'nın doğru ve 'nin yanlış olduğunu ( doğru) gösterir.

karnaugh haritası toroidaldır, yani dikdörtgen grupları köşelerden birleşebilir. (görsele bakınız). en sağdaki hücreler, en soldakilerle ve en üstteki hücreler, en alttakilerle komşuluktadır. bakıldığı zaman karşılık gelen girdiler sadece bir bit farklıdır (gray kodunda ardışıktır).bu yüzden  gruplanabilir ve üstteki 12,8 alttaki 10,14 hücrelerini içine alır. aynı mantıkla , dört köşeyi gruplayarak elde edilir.

çözüm 

karnaugh haritası oluşturulduğunda ve komşuluktaki 1'ler gerekli şekilde gruplandığında cebirsel miniterimler, hangi 1'lerin aynı kutularda kaldığına bakılarak bulunabilir.

kırmızıyı gruplamak için:

 a, kutu boyunca sabit ve 1 değerinde. bu yüzden kırmızının temsil ettiği miniterimin cebirsel ifadesinde bulunmalı.
 b, kutu boyunca sabit bir değere sahip değil, bu yüzden dışlanmalı.
 c, değişmemekte. kutu boyunca 0 olduğu için tümleyeni (not-c) alınmalı. bu yüzden ifadede  olmalı.
 d, kutu boyunca sabit bir değere sahip değil, bu yüzden dışlanmalı.

bu yüzden boolem çarpımların toplamı gösteriminin terimlerinden biri  olmalı.

yeşili gruplarken, c ve d değişirken a ve b sabit kalıyor. b'nin değeri 0 ve dahil edilmeden önce tümleyeni alınmalı. bu yüzden bir diğer terim ise . fark edildiği üzere yeşil ile kırmızı gruplandırma kesişti ve bunda herhangi bir sakınca yok.

aynı şekilde mavi kutu bize  terimini veriyor.

bütün grupların terimlerini birleştiriyoruz. devrenin normal formu:

göründüğü üzere karnaugh haritası aşağıdaki sadeleştirmeyi yapmamızı sağladı.

bu ifadeyi boolean cebrinin aksiyomları ile de sadeleştirebilirdik ancak sadeleştirmenin alacağı zaman terim sayısı ile üslü olarak artacaktır.

tersini alma 
fonksiyonun tersi, aynı metod ile 0'ları gruplayarak çözülebilir.

tersini kapsayacak bütün terimler gri kutularla ve farklı renkte sınırlarla gösterilmiştir.

 kahverengi: 
 altın rengi: 
 mavi: 

buradan fonksiyonun tersi :

 olmuştur.

de morgan'ın yasalarını kullanarak, toplamların çarpımı bulunabilir.

umursanmayan durumlar 

karnaugh haritası aynı zamanda doğruluk tablosunda umursanmayan değerler olan fonksiyonlar için daha kolay sadeleştirmeler yapmamıza olanak sağlar. umursanmayan durumlar tasarımcının çıktısını umursamadığı girdilerdir. bu yüzden dikdörtgen gruplara eklenebilirler de eklenmeyebilirler de,hangi şekilde daha büyük kutular oluşturulabiliyorsa o tercih edilmelidir. haritada genellikle x ya da - ile ifade edilirler.

sağdaki örneğin üsttekinden farkı f(1,1,1,1) olan değerin umursanmayan durum olarak değiştirilmesidir. bu durum kırmızı dikdörtgenin, haritanın altına kadar genişlemesine olanak sağlar ve bu sayede yeşil olarak gösterdiğimiz kutucuğu ortadan kaldırarak ifadeyi sadeleştirir.

yeni basit denklem :

görüldüğü üzere ilk terim sadece ,  değil. bu durumda umursanmayan durum sayesinde bir terimden kurtulduk (yeşil), birini sadeleştirdik (kırmızı) ve birinden hata tehlikesini(bir sonraki hata tehlikesi bölümünde gösterildiği gibi sarı terimden kurtulduk) kaldırdık.

fonksiyonun tersi aşağıdaki gibi sadeleşir.

hata tehlikesi

eleme 
karnaugh haritaları hata tehlikelerini bulmakta ve kaldırmakta kullanışlıdırlar. hata tehlikelerini karnaugh haritalarında tespit etmek çok kolaydır çünkü bunlar sadece komşu ancak aynı kutunun üyesi olmayan bölgelerde gerçekleşebilir. bununla birlikte, gray kodunun doğası gereği ardışık bu bağlamda yukarıda anlatıldığı gibi özel bir anlama sahiptir, aslında bir dikdörtgen değil torus boyunca hareket ediyoruz.

 yukarıdaki örnekte, olası bir hata tehlikesi c 1, d 0 iken ve a 1, b ise 1'den 0 a (mavi bölgeden yeşil bölgeye giderken) değişirken vardır.bu örnekte, çıktı sabit 1 kalmak üzere tanımlanmış ancak bu geçiş denklemde özel bir terimle kapsanmadığından olası bir hata (çıktının anlık olarak 1'e geçişi) mevcuttur.
 aynı örnekte bulunması daha zor ikinci bir olası hata vardır: d 0, a 1, b 1, c 1'den 0'a geçerken (mavi bölgeden kırmızı bölgeye). bu durumda hata, haritanın üstünden altına wraps.

hatanın gerçekten olup olmayacağı ve olması konusunda endişelenip endişelenmesi gerektiği uygulamanın fiziksel doğasına bağlıdır.saatli mantıkta, istenen zamanda değişkenin değerinin belirlenmesi yeterlidir ancak örnekte saatli mantık gözetilmemiştir.

bilgisayar bilimi