最小项标准式和卡诺图化简

最小项

n个变量的逻辑乘，即与形式，每个变量以原变量或者反变量的形式出现一次。n个变量共有2ⁿ个最小项。用m表示，如ABC，表示为m0。

最小项	A	B	编号
A’ B’	0	0	m0
A’ B	0	1	m1
A B’	1	0	m2
A B	1	1	m3

三变量卡诺图

BC A	00	01	11	10
0	m0	m1	m3	m2
1	m4	m5	m7	m6

四变量卡诺图

CD AB	00	01	11	10
00	m0	m1	m3	m2
01	m4	m5	m7	m6
11	m12	m13	m15	m14
10	m8	m9	m11	m10

卡诺图化简

F=BC + A’B’D’ + A’C’D

具有约束条件的卡诺图化简

$$\{\begin{array}{c}F=A{B}^{\prime }{C}^{\prime }+A^{\prime }B{C}^{\prime }\\ A^{\prime }{B}^{\prime }{C}^{\prime }+A^{\prime }BC+A{B}^{\prime }C+AB{C}^{\prime }+ABC=0\end{array}$$
注：大括号使用代码$$\left\{ \begin{array}{c}x=2\\x=3\end{array}\right. $$
由逻辑式得到卡诺图如下

化简得到的逻辑式为：$$\{\begin{array}{c}F=C^{\prime }\\ A^{\prime }{B}^{\prime }{C}^{\prime }+AB+AC+BC=0\end{array}$$
注： 6相圈不存在，应由两个4相圈构成