数理逻辑之等值式

- 《离散数学》 - 第二讲 - 数理逻辑之等值式 - - -