X(A,B,C,D)=AB+A'C+AB'D+A'B'C'D Y(A,B,C,D)=AB'C'D+A'CD+B'C+BC

X(A,B,C,D)=AB+A'C+AB'D+A'B'C'D=∑m(1,2,3,6,7,9,11,12,13,14,15)Y(A,B,C,D)=AB'C'D+A'CD+B'C+BCD=∑m(2,3,7,9,10,11,15)
如下图,红色是X的“地盘”, 绿色是Y, 蓝色是XYXY=∑m(2,3,7,9,11,15)=CD+A'B'C+AB'D
XY是X与Y共同的地盘, 相当于交集；如果是X+Y则红色绿色都是它的地盘,相当于并集.

相与验算：(AB+A'C+AB'D+A'B'C'D)(AB'C'D+A'CD+B'C+BCD)
=ABCD+A'CD+A'B'C+A'BCD+AB'C'D+AB'CD=ABCD+A'BCD+A'B'CD+A'B'CD+A'B'CD'+A'BCD+AB'C'D+AB'CD=ABCD+A'BCD+A'B'CD+A'B'CD'+AB'C'D+AB'CD
=∑m(2,3,7,9,11,15)