离散数学之等值演算公开课百校联赛一等奖课件省赛课获奖课件

- 1 - 1.3 命题逻辑等值演算 - 等值式基本等值式等值演算置换规则 - 2 - 等值式