数字电子技术——第一章习题令人咋舌的坑，值得逻辑代数小白来看。

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几！！！！！