Conjunctive normal form 合取范式 由 ∧ 连接简单析取式 每个命题变项在简单析取式只出现一次：极大项 下标为成假赋值 求主合取范式：各取缺少的永真式 等值式 Disjunctive normal form 析取范式 由 ∨ 连接简单合取式 每个命题变项在简单合取式只出现一次：极小项 下标为成真赋值 求主析取范式：析取缺少的永假式 等值式