请教： 如有定义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 红色表示部分转换如何实现，高手请帮帮忙