请教： 如有定义A+B=A U B U AB 可推出A + B + C = A U (B+C) U A(B+C) = A U（ B U C U BC ）U A（B U C U BC ) = A U B U C U AB U AC U BC U ABC 红色表示部分转换如何实现，高手请帮帮忙

把U看作+就可以了吧 A U (B U C U BC) U A(B U C U BC) = A + (B + C + BC) + A(B + C + BC) = A + B + C + BC + AB + AC + ABC = A U B U C U AB U AC U BC U ABC