逻辑代数入门基础
- 格式:doc
- 大小:1.94 MB
- 文档页数:16
第2章 逻辑代数基础
2.1 概述
一、算术运算和逻辑运算
在数字电路中, 二进制数码不仅可以表示数值的大小,而且可以表示事物的状态,当两个二进制数码表示两个数值大小时,它们之间可进行数值运算,即算术运算。
当两个二进制数码表示不同逻辑状态时,它们之间的因果关系可进行逻辑运算。算术运算与逻辑运算有本质的差别,下面重点介绍逻辑运算的各种规则。
二、几个基本概念
1、 逻辑状态表示法
一种状态 高电位 有 真 是 美 生 1 0
另一种状态 低电位 无 假 非 丑 死 0 1
2、两种逻辑体制
1 高电位 低电位
0 低电位 高电位
正逻辑 负逻辑
3、高低电平的规定
正逻辑 负逻辑
2.2 逻辑代数中的三种基本运算
1、与逻辑(与运算)(逻辑乘)
与逻辑的定义:仅当决定事件(Y)发生的所有条件(A,B,C,…)均满足时,事件(Y)才能发生。表达式为:
Y=ABC
开关A,B串联控制灯泡Y
电路图
L=AB E A B
Y 2 / 16
EABYEABYA、B都断开,灯不亮 A断开、B接通,灯不亮。
EABYEABYA接通、B断开,灯不亮。 A、B都接通,灯亮。
两个开关必须同时接通,灯才亮。逻辑表达式为:
Y=AB
功能表
开关A 开关B 灯Y
断开 断开
断开 闭合
闭合 断开
闭合 闭合 灭
灭
灭
亮
将开关接通记作1,断开记作0;灯亮记作1,灯灭记作0。可以作出如下表格来描述与逻辑关系:
A B Y
0 0
0 1
1 0
1 1 0
0
0
1
真 值 表
2、或逻辑(或运算)
或逻辑的定义:当决定事件(Y)发生的各种条件(A,B,C,…)中,只要有一个或多个条件具备,事件(Y)就发生。表达式为:
Y=A+B+C+…
开关A,B并联控制灯泡Y
A、B都断开,灯不亮。 A断开、B接通,灯亮。
实现与逻辑的电路称为与门。与门的逻辑符号: YAB&Y=AB 逻辑符号 这种把所有可能的条件组合及其对应结果一一列出来的表格叫做真值表。N个变量,有 种取值组合。
有0出0 全1出1
电路图L=ABEABYEABYEABYEABYEABY
A接通、B断开,灯亮。 A、B都接通,灯亮。
两个开关只要有一个接通,灯就会亮。逻辑表达式为:
Y=A+B
功能表
真 值 表
实现或逻辑的电路称为或门。或门的逻辑符号:
3、非逻辑(非运算)
非逻辑指的是逻辑的否定。当决定事件(Y)发生的条件(A)满足时,事件不发生;条件不满足,事件反而发生。表达式为:
开关A 开关B 灯Y
断开 断开
断开 闭合
闭合 断开
闭合 闭合 灭
亮
亮
亮
A B Y
0 0
0 1
1 0
1 1 0
1
1
1
有1出1 全0出0
AB≥1Y=A+B
Y=A 开关A控制灯泡Y
A断开,灯亮。 A接通,灯灭。
功 能 表
真 值 表
A Y
0 1
1 0
实现非逻辑的电路称为非门。非门的逻辑符号:
电路图EAYREAYREAYR
开关A 灯Y
断开
闭合 亮
灭
有1出0 有0出1
YA1Y=A 6 / 16 4、复合逻辑运算
(1)与非运算:逻辑表达式为:
(2)或非运算:逻辑表达式为:
ABYA B Y
0 0
0 1
1 0
1 1 1
1
1
0
真值表
有0出1 全1出0
YAB与非门的逻辑符号L=A+B&ABYA B Y
0 0
0 1
1 0
1 1 1
0
0
0
真值表
有1出0 全0出1
YAB或非门的逻辑符号L=A+B≥1(3) 与或非运算:逻辑表达式为:
(4)异或运算:逻辑表达式为:
(5)同或运算:逻辑表达式为:
BABABAYA B Y
0 0
0 1
1 0
1 1 0
1
1
0
真值表
相同出0 不同出1
YAB异或门的逻辑符号L=A+B=1CDABYY≥1&ABCD与或非门的逻辑符号 A
B
C
D &
& ≥1 Y
与或非门的等效电路 2.3 逻辑代数的基本公式和常用公式
2.3.1定理和恒等式
一. 定理
利用真值表很容易证明这些公式的正确性
二 .常用恒等式
2.4 逻辑运算的基本定理
1、代入定理:任何一个含有变量A的等式,如果将所有出现A的位置都用同一个逻辑函数代替,则等式仍然成立。这个规则称为代入定理。
例如,已知等式 ,用函数Y=AC代替等式中的A,根据代入规则,等式仍然成立,即有:
0-1律:AAAA10 0011AA
互补律: 0 1AAAA
等幂律:AAAAAA 双重否定律:AA
交换律:ABBAABBA
结合律:)()()()(CBACBACBACBA
分配律:)()()(CABACBACABACBA
反演律(摩根定律):BABABABA. 割断总非
变* 为 +
变 +为 *
还原律:ABABAABABA)()(
吸收率:BABAABABAAABAAABAA)( )(
冗余律:CAABBCCAAB
BAABCBABACBAC)(