命题：称能判断真假的陈述句为命题。
命题公式：若在复合命题中，p、q、r 等不仅可以代表命题常项，还可以代表命题变项，这
样的复合命题形式称为命题公式。
命题的赋值：设 A 为一命题公式，p ,p ,…,p 为出现在 A 中的所有命题变项。给 p ,p ,…,p 指
定一组真值，称为对 A 的一个赋值或解释。若指定的一组值使 A 的值为真，则称成真赋值。
真值表：含 n（n≥1）个命题变项的命题公式，共有 2^n 组赋值。将命题公式 A 在所有赋值
下的取值情况列成表，称为 A 的真值表。
命题公式的类型：   （1）若 A 在它的各种赋值下均取值为真，则称 A 为重言式或永真式。
       （2）若 A 在它的赋值下取值均为假，则称 A 为矛盾式或永假式。
       （3）若 A 至少存在一组赋值是成真赋值，则 A 是可满足式。
主析取范式：设命题公式 A 中含 n 个命题变项，如果 A 得析取范式中的简单合取式全是极
小项，则称该析取范式为 A 的主析取范式。
主合取范式：设命题公式 A 中含 n 个命题变项，如果 A 得析取范式中的简单合析式全是极
大项，则称该析取范式为 ...