Karnaugh haritası ya da kısaca K - haritası, sadeleştirme tekniği daha kısa olan ve mantık denkleminin doğruluk tablosundan denklemin en özdeleşmiş şeklini veren kestirme bir yöntemdir.

K - haritası, doğruluk tablosunun değiştirilmiş halidir. Doğruluk tablosunda olduğu gibi, bağımlı değişkenleri bağımsız değişkenlerin bir fonksiyonu olarak gösterir. Ancak K - haritasının düzenlenişi, bağımlı değişkenleri incelediğimizde sadeleştirmenin mümkün olup olmayacağını anlayabileceğimiz şekildedir. Eğer sadeleştirme mümkünse, K - haritasının yapılanışı en sade mantık denklemini elde etmemizi sağlayacak tarzdadır. K - haritaları, mantık denklemindeki bağımsız değişkenlerin sayısına göre sınıflandırılır.

 Veri, oldukça esnek bir yapıdadır. Temel olarak varlığı bilinen, iÅŸlenmemiÅŸ, ham haldeki kayıtlar olarak adlandırılırlar. Bu kayıtlar iliÅŸkilendirilmemiÅŸ, düzenlenmemiÅŸ yani anlamlandırılmamışlardır. Ancak bu durum her zaman geçerli deÄŸildir. Ä°ÅŸlenerek farklı bir boyut kazanan bir veri, daha sonra bu haliyle kullanılmak üzere kayıt altına alındığında, farklı bir amaç için veri halini koruyacaktır. Bu konuyu daha iyi açıklayabilmek için enformasyon kavramını incelemek gerekmektedir.

Veri madenciliği büyük miktardaveri içinden gelecekle ilgili tahmin yapmamızı sağlayacak bağıntı ve kuralların bilgisayar programları kullanarak aranmasıdır.

Geleceğin, en azından yakın geleceğin, geçmişten çokfazla farklı olmayacağını varsayarsak geçmiş veriden çıkarılmış olan kurallargelecekte de geçerli olacak ve ilerisi için doğru tahmin yapmamızısağlayacaktır.