离散数学期末复习（2.命题逻辑等值演算）

1.重言式：命题公式在所有赋值下都为真。

2.等值式（AB的等价式值恒为一）

常见的命题公式的等值式

重点是德摩根律

接下来的等值式重点记忆 

考题类型

此类题即用上面的16个公式来证明

---

2.析取泛式 与合取范式

1）文字：命题变元极其否定       eg：p或者否p

2）简单析取式：由有限个文字构成的析取式

3）简单合取式：由有限个文字构成的合取式

4）析取范式：由  简单合取式  析取 构成的命题式。

5）合取范式：由  简单析取式  和取 构成的命题式。

---

极小项：

1.简单合取式   2.每个命题变元和它的否定仅出现一次  3.命题变元和它的否定仅出现一次

极大项：

1.由简单析取式组成  2.每个命题变元或它的否定进出线一次  3.命题变元和它的否定从小到大排列

题型：  求 主析取范式                                  和                                   主合取范式 

 例：

判断是否为析取/合取范式       判断组成析取/合取范式的  合取/析取范式是否由每一个命题变元组成

 这个利用主析取范式和主合取范式之间的关系做

和数字逻辑电路中的最小项和最大项相同。