第二章布尔开关代数.pptVIP

相等如果x,y的值相同，则称x,y相等(equivalent)。e.g.X=0Y=0X=1Y=1}X=Y}X=Y第29页，共76页，星期日，2025年，2月5日封闭 对二进制运算(?,+)是封闭的，在操作数是集合成员时，结果也是集合的成员。如果操作数产生的结果不在原来的集合中，则称没有封闭的性质。例：与运算真值表 或运算真值表第30页，共76页，星期日，2025年，2月5日单位每个二进制运算有一个单位元素，称为Ie；Ie必须包含在二进制数集合中；Ie和变量x进行与操作时结果为x，Ie和变量x进行或操作时结果为x xIe=x x+Ie=xIe不改变元素的值。第31页，共76页，星期日，2025年，2月5日交换律（CommutativeProperties）X+Y=Y+XX·Y=Y·X结合律（AssociativeProperties）(X+Y)+Z=X+(Y+Z)(X·Y)·Z=X·(Y·Z)分配律（DistributiveProperties）X+(Y·Z)=(X+Y)·(X+Z)X·(Y+Z)=X·Y+X·Z第32页，共76页，星期日，2025年，2月5日互补律（ComplementProperties）X+X’=1X·X’=00-1律X+0=XX·1=XX+1=1X·0=0吸收律（AbsorptionProperties）X+X·Y=XX·(X+Y)=XX+X’·Y=X+YX·(X’+Y)=X·Y第33页，共76页，星期日，2025年，2月5日对偶律将逻辑函数s中的“●”换成“＋”，“＋”换成“●”(注意省略的“●”号)；“0”换成“1”，“1”换成“0”；即可求得s的对偶式若两个逻辑函数相等，则它们的对偶式也相等;反之亦然。例：求下列逻辑函数的对偶式：第34页，共76页，星期日，2025年，2月5日反演规则 将逻辑函数中●变+，+变成●（注意省略的“●”号）；1变成0，0变成1;原变量变成反变量,反变量变成原变量;即得到原逻辑函数的反函数。反演规则常用于从已知原函数求出其反函数。第35页，共76页，星期日，2025年，2月5日利用反演规则时须注意以下两点：⑴仍需遵守“先括号，然后乘，最后加”的运算顺序。⑵不属于单个变量上的长非号，在利用反演规则时应保持不变，而长非号下的变量及·和＋号符号仍按反演规则处理。F=AB+CD?F=A+B?C+DF=(A+B)?(C+D)第36页，共76页，星期日，2025年，2月5日例：求下列逻辑函数的反函数：第37页，共76页，星期日，2025年，2月5日德.摩根定理“与”运算的取反等于输入变量取反的“或”运算“或”运算的取反等于输入变量取反的“与”运算x1x2x3…xn=x1+x2+x3+…+xnx1+x2+x3+…+xn=x1.x2.x3…xn第38页，共76页，星期日，2025年，2月5日第39页，共76页，星期日，2025年，2月5日代入规则在任何逻辑等式中，如果等式两边所有出现某一变量的地方，都代之一个函数，则等式仍然成立。这个规则叫代入规则。例：等式若用ab=x代替x，则根据代入规则，等式仍成立，即 利用代入规则，可以将基本公式推广为多变量的形式，扩大公式的使用范围第40页，共76页，星期日，2025年，2月5日证明等幂律(IdempotenceProperty): X+X=XX·X=X0-1律互补律分配律第41页，共76页，星期日，2025年，2月5日证明吸收律(Absorptionproperty)0-1律分配律0-1律互补律分配律第42页，共76页，星期日，2025年，2月5日证明：分配律第43页，共76页，星期日，2025年，2月5日证明合并律分配律互补律第44页，共76页，星期日，2025年，2月5日证明德摩根定律(DeMorganProperties)将变量：x、y的各种取值组合分别代入等式，其结果如下表所示，等号两边的逻辑值完全对应相等，则说明该公式成立。00000011001110010011011011111100第45页，共76页，星期日，2025年，2月5日证明德摩根定律(DeMorganProperties)第46页，共76页，星期日，2025年，2月5日例：利用德.摩根