卡诺图是真值表的变形，它可以将有n个变量的逻辑函数的formula_1个最小项组织在给定的长方形表格中，同时为相邻最小项（相邻与项）运用邻接律化简提供了直观的图形工具。但是，如果需要处理的逻辑函数的自变量较多（有五个或更多的时候，此时有些项就很难圈了），那么卡诺图的行列数将迅速增加，使图形更加复杂。卡诺图是贝尔实验室的电信工程师，莫里斯·卡诺（Maurice Karnaugh）在1953年发明的。
变量卡诺图.接下来我们用两个不同的写法，及四个不同的布尔变量, , , 和他们