Karnaugh haritası sayfasının kaynağını görüntüle

[[Dosya:K-map_6,8,9,10,11,12,13,14_anti-race.svg|alt=|küçükresim|Örnek bir Karnaugh haritası. Bu görsel aslında iki Karnaugh haritasını göstermektedir. f fonksiyonun miniterimleri(renkli dikdörtgenler) ve tümleyeninin maxiterimleri ( gri dikdörtgenler ). Görseldeki E(), makalede <math>\sum m_i</math> şeklinde gösterilen miniterimlerin toplamını temsil eder.]]
Karnaugh haritası (KM ya da K-map) ([[İngilizce]]) [[Boole cebiri|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 tablosu]]ndan 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ısı|VE kapı]]larının bir [[VEYA kapısı|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ı [[Boole cebiri|Boolean cebrinde]] yazılmış fonksiyonları sadeleştirmek için kullanılır. Örneğin, aşağıda [[doğruluk tablosu]] verilmiş Boolean fonksiyonunu inceleyin.
{| class="wikitable"
|+Bir fonksiyonun doğruluk tablosu
!
!A
!B
!C
!D
!f(A,B,C,D)
|-
|0
|0
|0
|0
|0
|0
|-
|1
|0
|0
|0
|1
|0
|-
|2
|0
|0
|1
|0
|0
|-
|3
|0
|0
|1
|1
|0
|-
|4
|0
|1
|0
|0
|0
|-
|5
|0
|1
|0
|1
|0
|-
|6
|0
|1
|1
|0
|1
|-
|7
|0
|1
|1
|1
|0
|-
|8
|1
|0
|0
|0
|1
|-
|9
|1
|0
|0
|1
|1
|-
|10
|1
|0
|1
|0
|1
|-
|11
|1
|0
|1
|1
|1
|-
|12
|1
|1
|0
|0
|1
|-
|13
|1
|1
|0
|1
|1
|-
|14
|1
|1
|1
|0
|1
|-
|15
|1
|1
|1
|1
|0
|}
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.

* <math>f(A, B, C, D) = \sum_{}m_i, i \in \{6, 8, 9, 10, 11, 12, 13, 14\}</math>, <math>m_i</math> haritadaki miniterimler (doğruluk tablosunda çıktısı 1 olan satırlar).
* <math>f(A, B, C, D) = \prod_{}M_i, i \in \{0, 1, 2, 3, 4, 5, 7, 15\}</math>, <math>M_i</math> haritadaki maxiterimler (doğruluk tablosunda çıktısı 0 olan satırlar).

=== Karnaugh haritası ===
[[Dosya:karnaugh_map_torus.svg|alt=|sol|küçükresim|Boşlukta, torusa çizilmiş K-haritası. Nokta ile işaretli hücreler komşuluktadır.]]
[[Dosya:K-map_minterms_A.svg|küçükresim|K-haritasının yapısına bir örnek.Çıktı değerleri yerine (doğruluk tablosunda en sağdaki değerler), bu diyagram ABCD'nin 10'luk tabandaki değerlerini temsil ediliyor (doğruluk tablosunda en soldaki değerler), bu yüzden bu bir Karnaugh haritası '''''değildir'''''.]]
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 <small>x</small> 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.
[[Dosya:Torus_from_rectangle.gif|küçükresim|Bir dikdörtgen, 3 boyutta bir torusa bükülebilir.]]
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. İ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 <small>x</small> 2 bir kare, yeşil grup ise 4 <small>x</small> 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, {{Mvar|AD}}, {{mvar|A}} ve {{mvar|D}}'nin doğru olduğu 2 <small>x</small>2'lik alanı(yukarıda 9,11,13,15 nolu hücreler) kapsar. Diğer taraftan {{mvar|A{{overline|D}}}} ise {{mvar|A}}'nın doğru ve {{mvar|D}}'nin yanlış olduğunu ({{mvar|{{overline|D}}}} 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 {{mvar|A{{overline|D}}}} gruplanabilir ve üstteki 12,8 alttaki 10,14 hücrelerini içine alır. Aynı mantıkla {{mvar|{{overline|BD}}}}, dört köşeyi gruplayarak elde edilir.

=== Çözüm ===
[[Dosya:K-map_6,8,9,10,11,12,13,14.svg|alt=|küçükresim|İki K-haritasını gösteren şekil. f(A,B,C,D) fonksiyonu için olan ve fonksiyonun miniterimlerine denk gelen dikdörtgenler renkli gösterilmiştir. Kahverengi alan, kırmızı 2x2'lik kare ile yeşil 4x1'lik dikdörtgenin kesişimidir. f fonksiyonun tersi için olan K-haritası gri dikdörtgenler ile gösterilmiştir ve maxiterimlere denk gelir.]]
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 {{mvar|{{overline|C}}}} 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 {{mvar|A{{overline|C}}}} 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 {{mvar|A{{overline|B}}}}. 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 {{mvar|BC{{overline|D}}}} terimini veriyor.

Bütün grupların terimlerini birleştiriyoruz. Devrenin normal formu:

<math>A\overline{C} + A\overline{B} + BC\overline{D}</math>

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

<math>\begin{align}
              f(A, B, C, D) = {} &\overline{A}BC\overline{D} + A\overline{B}\,\overline{C}\,\overline{D} + A\overline{B}\,\overline{C}D + A\overline{B}C\overline{D} + {}\\
                                 &A\overline{B}CD + AB\overline{C}\,\overline{D} + AB\overline{C}D + ABC\overline{D}\\
                            = {} &A\overline{C} + A\overline{B} + BC\overline{D}
\end{align}</math>

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: {{mvar|{{overline|A}}, {{overline|B}}}}
* altın rengi: {{mvar|{{overline|A}}, {{overline|C}}}}
* mavi: {{mvar|BCD}}

Buradan fonksiyonun tersi :

<math>\overline{f(A,B,C,D)} = \overline{A}\,\overline{B} + \overline{A}\,\overline{C} + BCD</math> olmuştur.

[[De Morgan yasası|De Morgan'ın yasalarını]] kullanarak, toplamların çarpımı bulunabilir.

<math>\begin{align}
 f(A,B,C,D) &= \overline{\overline{f(A,B,C,D)}} \\
            &= \overline{\overline{A}\,\overline{B} + \overline{A}\,\overline{C} + BCD} \\
            &= \left(\overline{\overline{A}\,\overline{B}}\right) \left(\overline{\overline{A}\,\overline{C}}\right) \left(\overline{BCD}\right) \\
            &= \left(A + B\right)\left(A + C\right)\left(\overline{B} + \overline{C} + \overline{D}\right)
\end{align}</math>

=== Umursanmayan Durumlar ===
[[Dosya:K-map_6,8,9,10,11,12,13,14_don't_care.svg|küçükresim|{{tmath|f(A,B,C,D)}} için ''ABCD'' = 1111, umursanmayan durumla değiştirildi. Bu durum yeşim terimi ortadan kaldırdı ve kırmızının büyümesini sağladı. Aynı zamanda mavinin tersini kaydırdı ve büyüttü.]]
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 :

<math>f(A,B,C,D) = A + BC\overline{D}</math>

Görüldüğü üzere ilk terim sadece {{mvar|A}}, {{mvar|A{{overline|C}}}} 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.

<math>\overline{f(A,B,C,D)} = \overline{A}\,\overline{B} + \overline{A}\,\overline{C} + \overline{A}D</math>

== 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.

* [[Karnaugh haritası#Çözüm|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.

[[Dosya:K-map_6,8,9,10,11,12,13,14.svg|küçükresim|K-map 6,8,9,10,11,12,13,14]]
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-taslak}}<br />
[[Dosya:K-map_6,8,9,10,11,12,13,14_anti-race.svg|küçükresim|K-map 6,8,9,10,11,12,13,14 anti-race]]

[[Kategori:Bilgisayar bilimi]]