A+A非B=A+B,两个变量的吸收律(可以证明),不难理解,对吧
草丹的是你不知道还可以用于3变量及以上,
可以A+A非CD=A+CD,
可以A+A非CDE=A+CDE,
还可以CD+(CD)非E=CD+E
ABC+(ABC)非D=ABC+D
这是个大坑,注意了!!!!!
这个吸收律还可以反着来一波
即A非+AB=A非+B(可以证明)
3变量及以上,eg.
A非+ABC=A非+BC
A非+AB非C=A非+B非C
是不是看起来灵活很多?
A+B=A+B+CC非=(A+B+C)(A+B+C非)
证:
(思路)(A+B)看成一个整体,然后分配律展开得
(A+B)(A+B)+(A+B)C非+(A+B)C+CC非
然后化简这个东西,得(A+B)+(A+B)(C+C非),再化简得(A+B)(1+C+C非),最后得A+B
所以A+B=(A+B+C)(A+B+C非)
所以这一行的逻辑式可以当结论直接用!!!(B+C+AA非,类似这样的也可以套上面的证明过程的模板来得到其对应的结论)
卡诺图化简法时刻注意原则!!!!!
卡诺图的圈,标注的时候,写字母ABCD(非)的各种组合而非Y几!!!!!