证明ABC+(非A非B非C)== 非(A·非B + B·非C + 非A·C)

问题描述:

证明ABC+(非A非B非C)== 非(A·非B + B·非C + 非A·C)

(A+B)的非=A非*B非
得到右边=(A*非b)的非 交 (b*非c)的非 交 (c*非a)的非
反复利用交并集与非的关系 右边=(非a+b)(非b+c)(非c+a)
得证