2.2.1 等值式与等值演算
掌握等值式的定义、24 个基本等值式与置换规则，能用等值演算法验证或判断公式。
OFFLINE COURSE
离散数学 · 分层学习手册
第 2 章 命题逻辑 · 2.3 范式
离线阅读共 3 章。所有样式、公式字体和脚本均从本站本地加载。
2.2.2 联结词完备集
理解真值函数与联结词完备集，掌握常见完备集、与非/或非联结词及其完备性证明。
2.3 范式
掌握析取范式、合取范式、极小项与极大项，会求任意公式的主析取范式与主合取范式，并用它判断公式类型、判断等值、解决实际问题。