3.1 基本公式与法则.ppt

第三章布尔代数与逻辑函数化简普通高等教育“十一五”国家级规划教材西安电子科技大学出版社数字电子技术（第五版）★课程名称数字电路与

逻辑设计周慧鑫西安电子科技大学主编教师简介姓名：周慧鑫教授单位：西安电子科技大学主要研究方向：光电成像与图像处理、目标检测识别与跟踪、高光谱图像处理办公地点：西安电子科技大学北校区西大楼办公电话：029Email：cometlight@163.com第三章布尔代数与逻辑函数化简基本公式与法则逻辑函数的代数化简卡诺图化简基本公式与法则逻辑函数的代数化简卡诺图化简引言布尔代数（逻辑代数或开关代数）是英国人乔治.布尔(G.Boole)在1849年建立的。在布尔代数中，把逻辑问题数学化了，然后利用布尔代数中的一些基本前提和定理，对问题做数学运算，就可得到合乎逻辑推理的结果。1938年香农（Shannon）开始将其用于开关电路的设计。20世纪60年代，数字技术的发展才使布尔代数成为逻辑设计的基础，在数字电路的分析与设计中得到了广泛的应用。3.1基本公式与规则1.变量和常量的关系式

逻辑变量的取值只有0和1，根据三种基本运算的定义，可推得以下关系式。0-1律：A·0=0A+1=1自等律：A·1=AA+0=A等幂律：A·A=AA+A=A（重叠律）互补律：3.1.1基本公式基本公式和法则基本公式（续1）2.与普通代数相似的定律交换律：A·B=B·AA+B=B+A结合律：(A·B)·C=A·(B·C)(A+B)+C=A+(B+C)分配律：A·(B+C)=AB+ACA+BC=(A+B)(A+C)以上定律可以用真值表证明，也可以用公式证明。例如：证明分配律A+BC=(A+B)(A+C)。证：(A+B)(A+C)=A·A+A·C+A·B+B·C=A+AC+AB+BC=A(1+B+C)+BC=A+BC因此有A+BC=(A+B)(A+C)基本公式和法则基本公式（续2）吸收律1：吸收律2：A(A+B)=AA+AB=A吸收律3：多余项定律：求反律：否否律：(摩根定律)3.特有的定律基本公式和法则真值表法证明表3-1求反律证明AB000110111110111010001000证明（反演律）真值表相同，函数值相同基本公式和法则例例3.1.1：证明AB+ABC=AB+C解：方法一：方法二：利用多余项定律和吸收定律摩根定律吸收3多余项定律吸收定律1吸收定律2基本公式和法则1.代入法则逻辑代数中的任何变量A都可用另一函数Z代替，等式仍然成立。3.1.2基本法则例3.1.1证明解：如果将B用B+C带入等式两边得：同理，可以将摩根定律推广到n变量：基本公式和法则2.对偶法则对于任何一个逻辑表达式F，如果将其中的“+”换成“·”，“·”换成“+”，1换成0，0换成1，两变量及两变量以上的非号不变，并保持原先的逻辑优先级则可得到原函数F的对偶式G，且F和G互为对偶式.注意：加括号。结论：原函数成立，则对偶式也成立基本公式和法则3.反演法则由原函数求反函数，称为反演或求反。

摩根定律是进行反演的重要工具。例1：解：“化为只有与和非”基本公式和法则求反法则：将原函数F中的“+”换成“·”，“·”换成“+”；1换成0，0换成1；原变量换成反变量，反变量换成原变量，长非号即两个或两个以上变量的非号不变，并保持原先的逻辑优先级，则可得到原函数F的反函数。注意：求反与求对偶式一样，为了保持原函数逻辑优先顺序，应合理加括号，否则出错。基本公式和法则3.1.3基本公式应用证明等式逻辑函数不同形式的转换逻辑函数的化简基本公式和法则逻辑函数不同形式的变换与或表达式与非表达式与或非表达式或与表达式或非