逻辑函数的标准形式
首先,理解真值表转换逻辑式
输入ABC,Y为输出,Y为1时,将输入的0取反,结果相与得出Y
同理,Y为0时,将输入结果中1取反。
最小项:
在n变量逻辑函数中,若m为包含n个因子的乘积项(也就是与),而且这n个变量均以原变量或反变量的形式在m中出现一次,则称m为该组变量的最小项。
输入变量的每一组都使得对应的最小项的值(Y)等于1
也就是n个变量,一共有2^n个项,每个项对应一个m
最大项:
在n变量逻辑函数中,若M为n个变量之和(即为或),而且这n个变量均以原变量或反变量的形式在M中出现一次,则称M为该组变量的最大项。
输入变量的每一组都使得对应的最大项的值(Y)等于0
化简——卡诺图
除了等式表中的直接化简,还可以将各个项,以最小项形式写入卡诺图,通过卡诺图进行化简。案例如下,
事实上在填写Y的卡诺图时,并不一定要将Y化为最小项之和的形式︰例如,式中的AC‘项包含了所有含有AC’因子的最小项,而不管另一个因子是B还是B′从另外一个角度讲,也可以理解为AC’是 ABC’和AB’C’两个最小项相加合并的结果因此,在填写¥的卡诺图时,可以直接在卡诺图上所有对应A=1、C=0的空格里填人1按照这种方法,就可以省去将Y化为最小项之和这一步骤了。
化简后,可得到(a)
(b)