命题公式等值演算@常用等值式模式。 数理逻辑 命题公式等值演算 离散数学 重言式 真值表 原创 cxxu 10月前 31阅读 等值演算公式 等值演算中的部分运算律 (1)交换律:A ∨ B ⇔ B ∨ A; A ∧ B ⇔ B ∧ A。 (2)结合律:(A ∨ B) ∨ C ⇔ A ∨ (B ∨ C); (A ∧ B) ∧ C ...