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