过于逻辑代数
逻辑代数的吸收律
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