逻辑函数式

小记：

真值分析法；区分反演和对偶；转为为最小项和最大项；

卡诺图部分还没有补

简单逻辑运算

与：Y = A ·B = A and B

或：Y= A+B = A or B

非：Y= A’ = $\overline{A}$

异或：Y=A $\oplus$ B

同或：Y=A$\odot$ B = $\overline{A\oplus B}$

题目：下列逻辑函数表达式中与异或功能相符的是（）

A. A $\oplus$ B B. $\overline{A}\oplus$ B C. $\overline{A\oplus B}$ D.$\overline{A}\oplus \overline{B}$

析：用真值分析法，假设A和B都是1，那么

​ A: A $\oplus$ B=0

​ B: $\overline{A}\oplus$ B =(0^1)=1

​ C: $\overline{A\oplus B}$ =(1^1)’=0’=1

​ D: $\overline{A}\oplus \overline{B}$=0^0=0

​ 故选 A和D。

逻辑代数公式

基本公式	公式
0-1 律	A·0=0	A·1=A
	A+0=A	A+1=1
重叠律	A·A=A	A+A=A
互补律	A·A’=0	A+A’=1
交换律	A·B=B·A	A+B=B+A
结合律	A·(B·C)=(A·B)·C	A+(B+C)=(A+B)+C
分配律	A·(B+C)=A·B+A·C	⭐️A+B·C=(A+B)·(A+C)
反演律	(A+B)’=A’+B’	(A+B)’=A’ · B’

逻辑函数化简法

1.并项法： AB + AB’ = A
两个相似项，只有一部分取反，则等于完全相同部分
注意(A+B)’=A’B’这种
2.吸收法： A + AB = A
当有一项完全是另外一项的一部分，则把长的那一项去掉
3.消项法： AB+ A’C + BCD =AB + AC’
找到一对相反变量或逻辑式在两项中，则剩余变量组成的项去掉
4.消因子法：A + A’B = A + B
当有一项的反完全是另外一项的一部分，则把长项中的反部分去掉
5.配项法： A + A =A
可以加上一个原式中已经有的项，或是乘上(A+A’)

基本定理

$Y_1=AB$ , $Y_2=A(B+C)$

反演定理：

• 符号和数字都变
• $Y_1^{\prime }=A^{\prime }+B^{\prime }$ $ Y_2’=A’+(B+C)’$=A’+B’ ·C’

对偶定理：

• 只是符号变

• $Y_1^D$=A+B $Y_2^D$=A+(B ·C)

• 用处：如果一个两个逻辑式相等，那么它们的对偶式也会相等，故可以通过证明对偶式相等来证明逻辑式相等。

标准形式

以最小项为1和以最大项为0的变量取值表 ⤵️

	最小项	以最小项为1的取值	编号	最大项	以最大项为0的取值	编号
0	A’ B’ C’	000	$m_0$	A+B+C	000	$M_0$
1	A’ B’ C	001	$m_1$	A+B+C’	001	$M_1$
2	A’ B C’	010	$m_2$	A+B’+C	010	$M_2$
3	A’ B C	011	$m_3$	A+B’+C’	011	$M_3$
4	A B’ C’	100	$m_4$	A’+B+C	100	$M_4$
5	A B’ C	101	$m_5$	A’+B+C’	101	$M_5$
6	A B C’	110	$m_6$	A’+B’+C	110	$M_6$
7	A B C	111	$m_7$	A’+B’+C’	111	$M_7$

最小项

• 在输入变量任何取值下，有且仅有一个最小项的值为1

• 全体最小项之和为1，，任何两个最小项之积为0

• 两个相邻的最小项可以合并，消去一对因子留下公共因子

• 展开为最小项之和的方法？

  反复使用X=X(Y+Y’)进行扩展。

  如Y= AB’+BC

  ​ =AB’(C+C’)+BC(A+A’) =AB’C+AB’C’+BCA+BCA’ =${\sum }_m(3,4,5,6)$

最大项

• 在输入变量任何取值下，有且仅有一个最大项的值为0

• 全体最大项之积为0，，任何两个最大项之和为1

• 只有一个变量不同的两最大项乘积等于各相同变量之和

• 展开为最大项之积的方法？

  反复使用X=X+Y ·Y’ 和A+B·C=(A+B)·(A+C)进行扩展。

  如Y= AB’+BC

  ​ =(AB’+B)(AB’+C)

  ​ =(A+B)(B’+B)(A+C)(B’+C) //用A+BC=(A+B)(B+C)

  ​ =(A+B)(A+C)(B’+C) // B+B’=1

  =(A+B+CC’)(A+C+BB’)(B’+C+AA’)

  ​ =(A+B+C)(A+B+C’)(A+B+C)(A+B’+C)(A+B’+C)(A’+B’+C)

  ​ =(A+B+C)(A+B+C’)(A+B’+C)(A’+B’+C)

  ​ =$\prod M(0,1,4,6)$

​