设置一个符号[X]表示只被X覆盖的集合
A=[A]+[A∩B]+[A∩C]+[A∩B∩C]
B=[B]+[A∩B]+[B∩C]+[A∩B∩C]
B=[C]+[A∩C]+[B∩C]+[A∩B∩C]
AUBUC=[A]+[B]+[C]+[A∩B]+[A∩C]+[B∩C]+[A∩B∩C]
A∩B=[A∩B]+[A∩B∩C]
C∩B=[C∩B]+[A∩B∩C]
A∩C=[A∩C]+[A∩B∩C]
A∩B∩C=[A∩B∩C]
那么算一下A+B+C=[A]+[B]+[C]+2([A∩B]+[A∩C]+[B∩C])+3[A∩B∩C],正好也是等式右边