等值演算中的部分运算律
（1）交换律：A ∨ B ⇔ B ∨ A;
A ∧ B ⇔ B ∧ A。
（2）结合律：(A ∨ B) ∨ C ⇔ A ∨ (B ∨ C);
(A ∧ B) ∧ C ⇔ A ∧ (B ∧ C)。
（3）分配律：A ∨ (B ∧ C) ⇔ (A ∨ B) ∧ (A ∨ C);
A ∧ (B ∨ C) ⇔ (A ∧ B) ∨ (A ∧ C);
标签：交换律,等值,演算,分配律,公式,结合律,运算
来源： https://www.cnblogs.com/dtx123/p/15141170.html