电子技术基础 (数字部分)
电子技术基础 （数字部分）
2逻辑代数与硬件描述语言基础 21逻辑代数 2,2逻辑函数的卡诺图化简法 23硬件描述语言 erilog hdl基础 (自学)
2 .逻辑代数与硬件描述语言基础 2.1 逻辑代数 2.2 逻辑函数的卡诺图化简法 2.3 硬件描述语言Verilog HDL基础 （自学）
21逻辑代数 逻辑代数又称布尔代数。它是分析和设计现代数字逻辑电路不可 缺少的数学工具。逻辑代数有一系列的定律、定理和规则,用 对数学表达式进行处理,以完成对逻辑电路的化简、变换、分析 和设计。 逻辑关系指的是事件产生的条件和结果之间的因果关系。在数字 电路中往往是将事情的条件作为输入信号,而结果用输出信号表 示。条件和结果的两种对立状态分别用逻辑“1”和“0表示
2.1 逻辑代数 逻辑代数又称布尔代数。它是分析和设计现代数字逻辑电路不可 缺少的数学工具。逻辑代数有一系列的定律、定理和规则，用于 对数学表达式进行处理，以完成对逻辑电路的化简、变换、分析 和设计。 逻辑关系指的是事件产生的条件和结果之间的因果关系。在数字 电路中往往是将事情的条件作为输入信号，而结果用输出信号表 示。条件和结果的两种对立状态分别用逻辑“1” 和“0”表示
逻辑函数及其相等概念 (1)逻辑表达式:由逻辑变量和与、或、非3种运算符 连接起来所构成的式子。在逻辑表达式中,等式右边的字母 A、B、C、D等称为输入逻辑变量,等式左边的字母Y称为 输出逻辑变量,字母上面没有非运算符的叫做原变量,有非 运算符的叫做反变量 (2)逻辑函数:如果对应于输入逻辑变量A、B、 C、的每一组确定值,输出逻辑变量γ就有唯一确定的值, 则称Y是A、B、C、的逻辑函数。记为 r=f(A, B,C, 注意:与普通代数不同的是,在逻辑代数中,不管是变 量还是函数,其取值都只能是0或1,并且这里的0和1只表示两 种不同的状态,没有数量的含义
逻辑函数及其相等概念 （1）逻辑表达式：由逻辑变量和与、或、非3种运算符 连接起来所构成的式子。在逻辑表达式中，等式右边的字母 A、B、C、D等称为输入逻辑变量，等式左边的字母Y称为 输出逻辑变量，字母上面没有非运算符的叫做原变量，有非 运算符的叫做反变量。 （2）逻辑函数：如果对应于输入逻辑变量A、B、 C、…的每一组确定值，输出逻辑变量Y就有唯一确定的值， 则称Y是A、B、C、…的逻辑函数。记为 Y = f (A,B,C, ) 注意：与普通代数不同的是，在逻辑代数中，不管是变 量还是函数，其取值都只能是0或1，并且这里的0和1只表示两 种不同的状态，没有数量的含义
3逻辑函数相等的概念:设有两个逻辑函数 H=f(A,B,C,…)Y=g(A,B,C,…) 它们的变量都是A、B、C 如果对应于变量A、B、 C、.的任何一组变量取值,Y1和Y2的值都相同,则称Y1和Y2 是相等的,记为Y1=Y 若两个逻辑函数相等,则它们的真值表一定相同;反之亦 然。因此,要证明两个逻辑函数是否相等,只要分别列出它们 的真值表,看看它们的真值表是否相同即可。 证明等式:AB=A+B AB ABABA B A+B 0 0001 101 1110 000
（3）逻辑函数相等的概念：设有两个逻辑函数 ( , , , ) ( , , , ) Y1 = f A B C Y2 = g A B C 它们的变量都是A、B、C、…，如果对应于变量A、B、 C、…的任何一组变量取值，Y1和Y2的值都相同，则称Y1和Y2 是相等的，记为Y1=Y2。 若两个逻辑函数相等，则它们的真值表一定相同；反之亦 然。因此，要证明两个逻辑函数是否相等，只要分别列出它们 的真值表，看看它们的真值表是否相同即可。 A B AB AB A B A+B 0 0 0 1 1 0 1 1 0 0 0 1 1 1 1 0 1 1 1 0 0 1 0 0 1 1 1 0 证明等式： AB = A + B
2.11逻辑代数的基本定律和恒等式 1、基本公式 0、1律:A+0=AA+1=1A·1=AA.0=0 互补律:A+A A·A=0 交换律:A+B=B+AA·B=B·A 结合律:A+B+C=(4+B)+CA·B·C=(4·B)·C 分配律:A(B+C)=AB+ACA+BC=(A+B)(A+C)
1、基本公式 交换律：A + B = B + A A · B = B ·A 结合律：A + B + C = (A + B) + C A · B · C = (A · B) · C 分配律：A ( B + C ) = AB + AC A + BC = ( A + B )( A + C ) 0、1律：A + 0 = A A + 1 = 1 A · 1 = A A · 0 = 0 互补律：A + A = 1 A · A = 0 2.1.1 逻辑代数的基本定律和恒等式
重叠律: A+4=4 A·A=A 反演律:A+B=A·B AB=A+B 吸收律4+A.B=A4(A+B)=A A+A.B=A+B(4+B)(4+O)=4+BC 其它常用恒等式 AB+AC BC=AB +AC AB+AC+ BCD=AB+AC
重叠律： A + A = A A · A = A 反演律： A + B = A · B AB = A + B A + A B＝A + B (A+ B)(A+C)＝A+ BC 吸收律 A+ A B＝A A(A+ B)＝A 其它常用恒等式 AB＋AC＋BC＝AB + AC AB＋AC＋BCD＝AB + AC
2、基本公式的证明 真值表证明法) 例证明A+B=A.B,AB=A+B 列出等式、右边的函数值的真值表 A BA B A+B B ABA+B 001 0+0=1 00 01100+1=0001=1 10011+0d010=1 001+10011=00
2、基本公式的证明 例 证明 A B A B + = ， AB A B = + 列出等式、右边的函数值的真值表 (真值表证明法) 1 1 0 0 1+1=0 0 1·1 = 0 0 1 0 0 1 1+0=0 0 1·0 = 1 1 0 1 1 0 0+1=0 0 0·1 = 1 1 0 0 1 1 0+0=1 1 0·0 = 1 1 A B A B A+B A B AB A+B
2.1.2逻辑代数的基本规则 1.代入规刚在包含变量逻辑等式中,如果用另一个函 数式代入式中所有A的位置,则等式仍然成立。这一规则称 为代入规则。 例:BA+O=BA+BC, 用4+D代替A,得 BI(A+D)+C]=B(A+D)+ BC= BA+ BD+ BC 代入规则可以扩展所有基本公式或定律的应用范围
2.1.2 逻辑代数的基本规则 1. 代入规则： 在包含变量A逻辑等式中，如果用另一个函 数式代入式中所有A的位置，则等式仍然成立。这一规则称 为代入规则。 例：B (A + C) = BA+BC， 用A + D代替A，得 B [(A +D) +C ] = B(A +D) + BC = BA + BD + BC 代入规则可以扩展所有基本公式或定律的应用范围
2.反演规则: 对于任意一个逻辑表达式L,若将其中所有的与(·)换成或 (+),或(+)换成与(;原变量换为反变量,反变量换 为原变量;将换成0,0换成1;则得到的结果就是原函数的反 函数。 例211试求L=AB+CD+0的非函数 解:按照反演规则,得 L=(4+B(C+D)1=(4+B)C+D)
对于任意一个逻辑表达式L，若将其中所有的与（• ）换成或 （+），或（+）换成与（•）；原变量换为反变量，反变量换 为原变量；将1换成0，0换成1；则得到的结果就是原函数的反 函数。 2. 反演规则： L = (A+ B)(C + D)1 = (A+ B)(C + D) 例2.1.1 试求 L = AB +CD + 0 的非函数 解：按照反演规则，得
