对于集合可以表示成: A∩(A∪B)=A; B∪(A∩B)=B
逻辑公式可以表示成: A*(A+B)=A
在这里+和*是定义的运算,并不完全等同于一般意义上的加法和乘法
可以定义∪为乘法运算,∩为加法运算来理解,对于!A同样适用