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