R R E 4⑧F E ∞Y A断开,灯亮。 A接通,灯灭。 功开关A 灯Y A Y真 能断开 0 值 表 闭合 灭 0表 逻辑号 实现非逻辑的电 路称为非门。非 A Y=A 门的逻辑符号:
A Y 0 1 1 0 实现非逻辑的电 路称为非门。非 门的逻辑符号： A Y 1 Y=A E A Y R A断开，灯亮。 E A Y R A接通，灯灭。 真 值 表 功 能 表 逻辑符号 开关 A 灯 Y 断开 闭合 亮 灭
4、常用的逻辑运算 (1)与非运算:逻辑表达式为:Y=AB 001 0 1110 B 与非门的逻辑符号 真值表 (2)或非运算:逻辑表达式为:Y=A+B A 0 0 B010 Y1000 B 或非门的逻辑符号 真值表
4、常用的逻辑运算 （1）与非运算：逻辑表达式为： Y = AB A B Y 0 0 0 1 1 0 1 1 1 1 1 0 真值表 Y A B 与非门的逻辑符号 L=A+B & （2）或非运算：逻辑表达式为： Y = A + B A B Y 0 0 0 1 1 0 1 1 1 0 0 0 真值表 Y A B 或非门的逻辑符号 L=A+B ≥1
(3)异或运算:逻辑表达式为:Y=AB+AB=A④B A00 B0 Y B 异或门的逻辑符号 真值表 (4)与或非运算:逻辑表达式为:Y=AB+CD &|≥1 ABCD Y ABCD & & 与或非门的逻辑符号 与或非门的等效电路
（3）异或运算：逻辑表达式为： Y = AB + AB = A B A B Y 0 0 0 1 1 0 1 1 0 1 1 0 真值表 Y A B 异或门的逻辑符号 L=A+B =1 Y = AB + CD Y A & ≥1 B C D 与或非门的逻辑符号 A B C D & & ≥1 Y 与或非门的等效电路 （4） 与或非运算：逻辑表达式为：
5、逻辑函数及其相等概念 (1)逻辑表达式:由逻辑变量和与、或、非3种运算符 连接起来所构成的式子。在逻辑表达式中,等式右边的字母 A、B、C、D等称为输入逻辑变量,等式左边的字母Y称为 输出逻辑变量,字母上面没有非运算符的叫做原变量,有非 运算符的叫做反变量 (2)逻辑函数:如果对应于输入逻辑变量A、B、 C、的每一组确定值,输岀逻辑变量γ就有唯一确定的值, 则称Y是A、B、C、…的逻辑函数。记为 Y=f(A, B, C,...) 注意:与普通代数不同的是,在逻辑代数中,不管是变 量还是函数,其取值都只能是0或1,并且这里的0和1只表示两 种不同的状态,没有数量的含义
5、逻辑函数及其相等概念 （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)逻辑函数相等的概念:设有两个逻辑函数 X=f(A,B,C,…)Y=g(A,B,C,…) 它们的变量都是A、B、C、…,如果对应于变量A、B、 C、….的任何一组变量取值,Y1和Y2的值都相同,则称Y1和Y2 是相等的,记为Y1=Y2 若两个逻辑函数相等,则它们的真值表一定相同;反之 若两个函数的真值表完全相同,则这两个函数一定相等。因此 要证明两个逻辑函数是否相等,只要分别列出它们的真值表, 看看它们的真值表是否相同即可。 证明等式:AB=A+B A B AB ABIA B A+B 0 0 0001 101 0000
（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