真理天平
验证运算性质的理论正确性
A ∪ B
A
∪
B
B ∪ A
B
∪
A