卡诺图是真值表的变形，它可以将有n个变量的逻辑函数的个最小项组织在给定的长方形表格中，同时为相邻最小项（相邻与项）运用邻接律化简提供了直观的图形工具。但是，如果需要处理的逻辑函数的自变量较多，那幺卡诺图的行列数将迅速增加，使图形更加复杂；此外，卡诺图的图形化表示方法不适合直接用于算法的设计，因此计算机辅助工程工具一般不会使用卡诺图来进行逻辑函数的优化。

卡诺图是贝尔实验室的电信工程师，莫里斯·卡诺在1953年发明的。

The Karnaugh map, also known as the K-map, is a method to simplify boolean algebra expressions. Maurice Karnaugh introduced it in 1953 as a refinement of Edward Veitch's 1952 Veitch diagram. The Karnaugh map reduces the need for extensive calculations by taking advantage of humans' pattern-recognition capability. It also permits the rapid identification and elimination of potential race conditions.