卡诺图 | 布尔方程式 | 最小项与最大项

• letter ：一个常数或一个变量
• literal : 一个字母或其补码

最小项 

 个变量  的最小项是  个因子的乘积。

一个函数的某个乘积项包含了函数的全部变量，

其中 每个变量 都以它的 原变量 或 反变量的形式 在乘积中出现，且 仅出现一次。 

我们称这个乘积项为该函数的一个标准积项 —— 最小项 (Minterm) 。

简单来说，最小项就是所有变量从头到尾只用一次的乘积项 (product term)，比如变量  ：

最大项

对于一个 变量的函数，该和项包括 个变量中的每一个变量。

一个函数的某个和项包含了函数的全部变量，

若 每个变量 都以 原变量 或 反变量的形式 出现一次，且 仅出现一次，

我们称这个求和项为该函数的一个标准和项 —— 最大项 (Maxterm) 。

所有变量从头到尾只用一次的合项 (sum term)，称为最大项。比如变量 ：

我们通常用大写字母 来表示最大项，最大项下标 确定方式与最小项下标的取值恰好相反。

若将原变量记为 0，反变量记录 1（与最小项相反），三个变量形成的八个最大项记为：

卡诺图 是一种平面方格图，每个小方格代表逻辑函数的一个最小项，故又称为最小项方格图。 方格图中相邻两个方格的两组变量取值相比，只有一个变量的取值发生变化，按照这一原则得出的方格图（全部方格构成正方形或长方形）就称为卡诺方格图，简称卡诺图。

卡诺图是一种描述逻辑函数的特殊方格图。

每一个方格代表逻辑函数的一个最小项，且几何相邻的小方格具有逻辑相邻性。

即 两相邻的小方格所代表的最小项只有一个变量取值不同。

对于有 个变量的逻辑函数，其最小项有 个。因此该逻辑函数的卡诺图是由 个小方格构成的，每个小方格都满足逻辑相邻项的要求。

几何相邻：在几何位置上，上下左右或左右相邻

逻辑相邻：两个最小项,只有一个变量的形式不同,其余的都相同。逻辑相邻的最小项可以合并。