摘要
在学习逻辑代数时,我们会发现一个有意思的现象:由于或与表达式可以方便的拆开(例如(A+B)(A+C)(B+C)),所以我们心里有一个底,它一定能转换为与或。但是对于与或表达式(例如AB+CD+EF),我们仿佛没有了通用的方法来提取公因式,从而将其转换为或与表达式。这导致做题心里没底。
“正统”方法
在学习了反演后,对于AB+CD+EF,有读者直接两次反演求解,这样做不能说不对。但如果我给你一个与或,让你求或非,而你求出来后头上还有两条杠,阁下的方法会不会显得不太优雅?
通用方法
我们都知道,在逻辑代数中,与和或是对称的关系,也就是平等的关系。这样说来,一定有某种通用的方法,可以将与或转为或与。
观察AB+CD+EF,我们将+看成乘,分配到CD上,再将结果分配到EF上,就有
原式=(AB+C)(AB+D)+EF=((AB+C)(AB+D)+E)((AB+C)(AB+D)+F)=((A+C)(B+C)(A+D)(B+D)+E)((A+C)(B+C)(A+D)(B+D)+F)=(A+D+E)(B+D+E)(A+C+E)(B+C+E)(A+C+F)(B+C+F)(A+D+F)(B+D+F)
有人说我这用了公式,但你领略到这里的妙处后,你发现这就是和乘法展开一样的简单。我将其命名为加法分配律。
附录
这里再附赠一张逻辑表达式转换的复习图,这里的每一个箭头都是不需要真值表也不需要卡诺图的通用方法,类似于物理里的底层公式。