12命题逻辑等值演算

- 离散数学 - 等值演算 联结词全功能集 - 本节的主要内容等值式与基本的等值式等值演算与置换规则联结词全功能集 -