离散数学
命题逻辑等值演算
公式类型
命题逻辑等值式模式
置换规则
析取范式与合取范式
联结词完备集