【数字设计与计算机体系结构】2021-10-01-数字设计与计算机体系课程（六）（第二章）

【写在前面：第一章的番外经过研究发现好像没有太大意义，而且和电路与电子线路相关性太大，我看着比较困难，所以决定不再写它】
【现在是这么一个情况，基本上电子笔记比纸质笔记快多了而且省去了很多记录的功夫，所以纸质笔记目前是一个名存实亡的状态，写了但是不知道为什么要写，所以决定不写了，实在无法电子化的笔记再在纸上补充】

一、电路简介

1.1：数字电路简介：

1. 定义： 处理离散值变量的网络；
2. 构成： 门电路是基本单元；
3. 功能描述： 从布尔表达式/真值表/逻辑原理图三个角度，后面细讲；
4. 分类：

一、组合逻辑电路：

电路任意时刻的输出仅仅取决于该时刻的输入，与电路原来的状态无关。（没有储存功能）

二、时序逻辑电路：

电路任意时刻的输出不仅取决于该时刻的输入，而且与电路原来的状态有关，具有记忆功能。（有储存功能）

本章讲述的是组合逻辑电路；

1.2：组合逻辑电路：

1.2.1：基本门电路回顾汇总：

1.2.2：组合逻辑电路的构成：

1. 连接多个电路元件的电路是组合电路的条件；
2. 每个电路元件本身就是组合电路;
3. 每个电路的结点或者是一个电路的输入，或者是连接到外部电路的一个输出端;
4. 电路不包含回路;

总线：
总线是一组属性相同的多根信号线，比如多根数据线，多根地址线。画图时，用一根线表示多个信号线，总线上有一个斜线，并在旁边标注了信号线数量的数字。

1.3：布尔代数：

1.3.1：布尔代数处理二进制（布尔）变量和逻辑

1. 布尔代数又称为逻辑代数，开关代数，是一个由逻辑变量真假（或取值1，0 ）、以及用“与”、“或”、“非”3种基本运算构成的代数系统。
2. 布尔代数中的1和0是逻辑常量，它们不具备数的性质，无大、小、正、负之分，仅仅表示真、假两个相反的逻辑状态；

1.3.2：对分析和综合数字逻辑电路十分有用

1. 输入和输出信号可以由布尔变量表达；
2. 数字逻辑电路的功能可以由逻辑操作(Logic Operations)即布尔函数表达
   根据布尔函数（表达式），可用与、或和非门构建逻辑图；

1.3.3:几个术语集合：

1. 项： 原变量或它的反变量，如A，$\overline{A}$；
2. 乘积项（与项）： 一个项或多个项的与，如AB,A$\overline{B}$,$\overline{A}$ $\overline{B}$ $\overline{C}$, F ；
3. 最小项： 对于n个输入变量，若m为包含n个变量的与项，且这n个变量均以原变量或反变量的形式在m中只出现一次；则称m为该组变量的最小项。n变量的最小项有2ⁿ个。
   如AB, A$\overline{B}$, $\overline{A}$B, $\overline{A}$ $\overline{B}$都是输入为A,B两个变量的最小项。
4. 求和项（或项）： 一个项或者多个项的或，如A+$\overline{B}$+C;
5. 最大项： 对于n个输入变量，若M为包含n个变量的或项，且这n个变量均以原变量或反变量的形式在M中只出现一次；则称M为该组变量的最大项。 n变量的最大项有2ⁿ个。如A+$\overline{B}$,$\overline{A}$+$\overline{B}$都是输入为A,B两个变量的最大项。
6. 与或式： 由与项之和构成的逻辑表达式，如A$\overline{B}$C+$\overline{A}$ $\overline{C}$;
7. 或与式： 由或项之与构成的逻辑表达式，如(A+B)($\overline{A}$+B)；

1.3.4：真值表

1. 定义： 将输入变量所有取值（按从小到大） 下对应的输出值找出来，列成的表格。
2. 真值表描述逻辑函数具有唯一性。
3. 有N个输入的真值表包含2^N行。
4. 真值表的每一行对应为TRUE的一个N输入的最小项，第1行对应于最小项m₀，第二行为m₁,以此类推。
5. 真值表的每一行也对应为FALSE的一个N输入的最大项，第1行对应于最大项M₀，第二行为M₁,以此类推。
   

1.3.5：逻辑函数式（逻辑表达式）：

将输出与输入之间的逻辑关系写成与、或、非的运算组合形式。

1.3.6：逻辑图：

用图形符号表示逻辑函数中的与、或、非等关系。

示例：

1.4：逻辑代数基本定律：

1.4.1：五个公理：

公理	形式1	形式2
公理1	如果A$\ne$ 1，则A=0	如果A$\ne$ 0，则A=1
公理2	$\overline{0}$=1	$\overline{1}$=0
公理3	0·0=0	1+1=1
公理4	1·1=1	0+0=0
公理5	0·1=1·0=0	0+1=1+0=1

1.4.2：十条基本定律（三大类）：

1.4.2.1：与普通代数相似的定律：

定律	形式1	形式2
交换律	A·B = B·A (1)	A+B=B+A (2)
结合律	A·(B·C)=(A·B)·C (3)	A+(B+C)=(A+B)+C (4)
分配律	A·(B+C)=A·B+A·C(5)	A+(B·C)=(A+B)·(A+C)(6)

1.4.2.2：变量常量关系定律：

定律	形式1	形式2
控制律	A·0 = 0 (7)	A+1=1 (8)
自等律	A·1=A (9)	A+0=A (10)
互补律	$A$·$\overline{A}$=0 (11)	$A$+$\overline{A}$=1 (12)

1.4.2.3：逻辑代数的特殊定律：

定律	形式1	形式2
吸收律	$A$·($A$+$B$)=$A$(13)	$A$+$A$·$B$=$A$ (14)
重叠律	A·A=A (15)	A+A=A (16)
反演律（摩根定律）	$\overline{A\cdot B}$ =$\overline{A}$ +$\overline{B}$(17)	$\overline{A+B}$ =$\overline{A}$ ·$\overline{B}$ (18)
双重否定律	$\overline{A}$的非还是A

基本定律证明方法： 真值表证明基本定律；
当真值表的值全部相同的时候，两式即为等价；

1.4.3：逻辑运算的完备集：

1.4.3.1：定义：

代数系统中如仅用它所定义的运算中某一组运算就能实现所有运算，则这一组运算是完备的；
例如：

1. 或运算和非运算一组是完备的；
2. 与运算和非运算一组也是完备的；

1.5：逻辑代数的基本规则：

1.5.1：代换规则（带入规则）

定义： 在任何一个包含变量A的逻辑等式中，若以另外一个逻辑式代入式中所有A的位置，则等式仍然成立。

1.5.2：对偶规则

定义： 对于任意一个逻辑函数F，若将其中的 “·” 换成 “+” ，“+” 换成 “·” ，0换成1，1换成0，则得到一个新逻辑函数F*，这个F就叫做F的对偶式。
若两逻辑式F=G，则它们的对偶式也相等，即F =G* 。
对偶规则应注意：

1. 必须对所有的逻辑常量和逻辑符号进行变换；
2. 必须保持原逻辑式变量之间的运算顺序，必要时可增加括号来维持运算顺序；
3. 

1.5.3：反演规则

定义： 对于任意一个逻辑函数F，若将其中的“·”换成“+”，“+”换成“·”，0换成1，1换成0，原变量换成反变量，反变量换成原变量， 则得到一个新逻辑函数$\overline{F}$，这个$\overline{F}$就叫做$F$的反函数。
作用： 求已知逻辑式的反逻辑式。
反演规则应注意:

1. 必须对所有的逻辑常量，逻辑符号和逻辑变量进行变换;
2. 必须保持原逻辑式变量之间的运算顺序，必要时可增加括号来保持运算顺序。
3. 遵守先括号，然后乘，最后加的运算顺序；
4. 不属于单个变量上的非号有两种处理方法:
   非号保留，而非号下面的函数式按反演规则变换;
   将非号去掉，而非号下的函数式保留不变;
   
   反演函数和偶函数的区别:
   对偶函数F：* 是与F不同的函数，只是形式上对偶;
   反函数$\overline{F}$：是原函数$F$的补，是同一逻辑问题的两种表现形式，符合互补率 $F$+$\overline{F}$=1;

【这一章要记住的东西是贼多了属于是，定理和规则都是要牢记和运用的……内容过多了之后我好像很难在知识的基础上详尽的分析其发展逻辑了，有种身在此山中的危机感，不知道这种缺乏总结归纳的情况会不会出事（）】