Infinity

回复 1# APPSYZY
如果了解数学中的逻辑代数，证明过程非常简单自然。并集可以写成加法，交集可以写成乘法（因为集合运算满足幺元律，零元律，交换律，分配律和结合律），然后注意利用集合运算的特殊性质（如吸收律、德摩根定律），直接进行代数运算、变形即可。简单来说，从右边证明，令$X=AB+BC+AC，Y=B+C，Z=A+\overline{B+C}$，那么右边前两个括号的乘积结果为$X+Y$，后两个括号乘积为$X+Z$，因此结果就是$(X+Y)(X+Z)=X+X(Y+Z)+YZ=X+AX+AB+AC=X$
当然，如果学过数字电路，也会很熟悉这些化简过程。