系一种多变量逻辑函数（布林函数）的列表法。将逻辑变数分为两组，把其组合分置于纵的和横的方向，形成一表格，称为卡诺图（或坎诺图）；每一小格表示一种逻辑函数。利用卡诺图可进行逻辑函数的简化；有助于节省逻辑元件数量。
例如四个逻辑变数（设为A、B、C、D）有16种组合，卡诺图应有16个小格，每一小格对应于一种组合。在小格中置〝1〞表示该逻辑函数存在，置〝0〞则表示不存在。设所给逻辑函数为F＝。由上式得下图，相连的小格可以消去变数，故祗剩两项逻辑变数为F＝＋BCD。