反演规则：

所得到的逻辑函数为 F F F的反函数，即 F ˉ \bar{F} Fˉ。

如果 F F F成立，那么 F ˉ \bar{F} Fˉ也成立。

对偶规则：

所得到的逻辑函数为 F F F的对偶函数，即 F ′ F' F′。

如果 F F F成立，那么 F ′ F' F′也成立

与项：变量相乘。

最小项（标准与项）：n变量函数，一项中每个变量都出现。

这意味着n个变量有 2 n 2^n 2n个最小项。

与或式，就是将一堆与项相加。

标准与或式，就是将一堆标准与项相加。

其可以表示为： 标准与或式的意义在于说明了变量取何值时，函数 F = 1 F=1 F=1。

核心是重叠律和分配律。

或式：变量相加。

最大项（标准或项）：n变量函数，每个项都出现了。

或与式就是将或式相乘。

标准或与式就是将标准或式相乘。

标准与或式说明函数何时为1，标准或与式说明函数何时为0.

n个变量的卡诺图中有 2 n 2^n 2n个小格，每个小格表示一个函数输出/最小项。

上述最小项序号需要记忆。 相邻有两种：

对于圈得到的与项，有如下推论： 在 n n n变量卡诺图中，若有 2 k 2^k 2k个几何相邻格为1，将他们圈在一起，合并成一个有 n − k n-k n−k个变量的与项，消去 k k k个变量。

如果要求最简或与式，则采用圈0法，思路和圈1法一致。

转化成与非式之后用还原律，对下面的式子采用Demorgan律。