数理逻辑重要公式离散数学

- 蕴涵等值式: ABAB等价等值式: AB(AB)(BA)假言易位: ABBA等价否定等值式: AB