过于逻辑代数
问题描述：
过于逻辑代数
逻辑代数的吸收律
A表示A非
A+!AB=A+B
这个定律怎么导出来的
请高手帮我下
不是证明正确性啊，a+b!似乎不行吧？
A=AA+AB+!AA
AA=A
AA=0
A=A+AB=A(1+B)=A
A+!AB=AA+AB+!AA+!AB=(A+!A)(A+B)=A+B
答
证明吸收律A+!AB=A+B正确性
证明：左边=A+!AB
=(A+!A)(A+B) 利用加对乘的分配律
=1(A+B) 互补律
=A+B 0-1律