一、数制和码制
1.1、补码
最高位符号位,0正1负
正数补码和原码相同,负数补码=数值位逐位取反+1
+5=(0 0101)
-5=(1 1011)
补码计算:在补码基础上再加一列符号位,将两个加数的符号位和来自最高位数字位的进位相加,结果就是和的符号
1.2、常用十进制代码
8421码、余三码、2421、5211、格雷码等
格雷码:相邻代码只有一位不同
二、逻辑代数
逻辑代数+电子器件=数字电路
2.1、基本运算、公式、定理
2.1.1 基本运算:
与:L=AB 或:L=A+B 非:
与非: 或非: 与或非
异或: 同或:
2.1.2 基本公式
1、 A+AB=A
2、A(A+B)=A
3、AB+AB'=A
4、A+A'B=A+B
5、AB+A'C+BC=AB+A'C
AB+A'C+BCD=AB+A'C
6、A(AB)'=AB';A'(AB)'=A'
2.1.3 基本定理:
1、代入定理:在任何一个包含A的逻辑等式中,若以另外一个逻辑式代入式中A的位置,则等式依然成立。
A+BC=(A+B)(A+C)
A+B(CD)=(A+B)(A+CD)=(A+B)(A+C)(A+D)
2、反演定律:对任一逻辑式Y=Y':0→1,1→0,
原变量→反变量;反变量→原变量
(AB)'=A'+B' (A+B)'=A'B'
3、对偶定律:把L中与或互换、01互换,得到新的表达式,即为L的对偶式,记为L'(上文为取反临时使用,此为正确格式)
若F=G,则F'=G' (注意:先括号,然后与,最后或)
2.2、逻辑函数表达式表示
逻辑函数表示:真值表、逻辑式、逻辑图、波形图
2.2.1最小项:2^n个
1、最小项编号:
2、 性质:
- 在输入变量任一取值下,有且仅有一个最小项的值为1;
- 全体最小项之和为1;
- 任何两个最小项之积为0;
- 两个相邻的最小项之和可以合并,消去一对因子,只留下公共因子。
- 相邻:仅一个因子不同的最小项,如:
A'BC'与A'BC
A'BC'+ A'BC= A'B(C+C‘)= A'B
3、最小项表达式(与或式)
逻辑函数变换为最小项之和
2.2.2 最大项
n变量逻辑函数的最大项M:
是或项,包含n个因子,n个变量均以原变量或反变量的形式在M中出现一次
最大项举例:·两变量A,B的最大项A'+B、A'+B,A+B',A+B(2^2=4个)
1、最大型的编号
2、性质
- 在输入变量任一取值下,有且仅有一个最大项的值为0;
- 全体最大项之积为0;
- 任何两个最大项之和为1;
- 两个相邻的最大项之积可以合并,消去一对因子,只留下公共因子。
- 相邻:仅一个因子不同的最大项,如:
A+B+C和A+B+C
(A'+B+C)(A'+B+C')= A'+B + CC’= A‘+B
3、最大项之积(或与式)
2.2.3 最大项最小项的关系
最小项之和转换为最大项之积:
2.3 逻辑函数的卡诺图表示
2.3.1 卡诺图
- 逻辑函数最小项之和的一种图形表示
- 用2n个小方格分别代表n变量的所有最小项并将它们排列成矩阵,而且使几何位置相邻的两个最小项在逻辑上也是相邻的
三种相邻关系:
- 相接,即上下或左右紧挨着;
- 相对,即任意一行或一列的两端;
- 相重,即对折起来位置重合。
2.3.2 用卡诺图表示逻辑函数
将逻辑函数表示为最小项之和的形式;
在卡诺图上与这些最小项对应的方格上填入1,其余方格填入0。
2.3.3 逻辑函数的卡诺图化简法
两个相邻最小项可合并为一项,消去一个因子
四个相邻最小项可合并为一项,消去两个因子
八个相邻最小项可合并为一项,消去三个因子
1、合并后的与项
2、卡诺图化简的原则 化简结果不唯一
- 与项的数目最少,即圈成的矩形数最少;
- 每个与项的因子最少,即圈成的矩形最大;
- 保证每个圈中至少有一个“1”只被圈过一次,否则该圈是多余的。
2.3.4 具有无关项的逻辑函数及其化简
- 约束项:逻辑函数中对输入变量的取值有限制,与这些被限制的取值对应的最小项称为约束项
- 任意项:在输入变量某些取值下,函数值为1或0不影响逻辑电路的功能,与这些取值对应的最小项称为任意项
- 无关项:约束项和任意项统称为无关项,它们可以写入逻辑式,也可以不写入逻辑式。
作用:
1、合理地利用无关项,可得更简单的化简结果
2、加入无关项,应使化简后的项数最少,每项的因子最少
3、从卡诺图上直观地看,加入无关项,应使矩形圈最大,矩形数最少