式两边都等于1,即A+B=A+C。若A·B=A·C,B不一定等于C,因为当A =0时,无论B和C取何值,等式两边都等于0,即A·B=A·C。若A+B=A +C且AB=AC,B一定等于C。因为当A=0时,由A+B=A+C可得B=C 而当A=1时,由A·B=A·C可得B=C。由此可知,若A+B=A+C且A·B A·C,无论A取何值,B=C 逻辑函数有五种常用表示方法,分别是与或式,或与式,与非-与非式,或非 或非式和与或非式。与或式和或与式是基本表达方法,它们之间的转化利用吸收 律、分配律等基本方法完成。与非-与非式是由与或式两次取反,利用反演律变换 的。或非-或非式是由或与式两次取反,利用反演律变换的。与或非式是由或与式 两次取反,然后两次用反演律变换的。 最小项的逻辑相邻是指最小项内所含的变量中只有一个变量互为补,反映在卡诺 图中是几何位置相邻 6 (1)将真值表中每个输岀为1的输入变量取值组合写成一个乘积项,若输入变 量取值为1,乘积项中的因子用原变量表示,反之用反变量表示,然后将这些乘 积项做逻辑加。 (2)给函数式中所有输入量依次赋值,观察取这些输入组合的情况下输出的状态, 绘制真值表。 (3)逻辑图的逻辑符号就是表示函数式间的运算关系,将对应的逻辑符号转换成 逻辑运算符,写成逻辑函数式 (4)将逻辑函数式中的逻辑符号相应转化成各种逻辑门来表示。 (5)根据变量的个数决定卡诺图的方框数,卡诺图中行列变量的取值按循环码规 律排列,以保证几何位置上相邻的方格其对应的最小项为逻辑相邻项。 (6)用卡诺图化简函数时,首先将函数填入相应的卡诺图中,然后按作圈原则将 图上填1的方格圈起来,要求圈的数量少、范围大,每个圈用对应的乘积项表示, 最后将所有乘积项逻辑相加,就得到了最简的与或表达式。最简或与表达式化简 是将所有取0的作圈,然后将所有圈用对应的和项表示,注意若圈对应的变量取 值是0写成原变量,取1写成反变量,最后将所有和项逻辑乘