离j散数学02.pptVIP

* 提示学生必须掌握16组基本的等值公式 满足对偶规律 * 此处需对自反性、对称性、传递性进行解释 * 根据此例可以引出范式的概念 定义2.4 在含有n个命题变项的简单合取式（简单析取式）中，若每个命题变项和它的否定式不同时出现，而二者之一必出现且仅出现一次，且第i个命题变项或它的否定式出现在从左算起的第i位上（若命题变项无角标，就按字典顺序排列），称这样的简单合取式（简单析取式）为极小项（极大项）。 n个命题变项共可产生2n个不同的极小项。其中每个极小项都有且仅有一个成真赋值。若成真赋值所对应的二进制数转换为十进制数i，就将所对应极小项记作mi 。 类似地，n个命题变项共可产生2n个极大项，每个极大项只有一个成假赋值，将其对应的十进制数i做极大项的角标，记作Mi。 范式的规范化形式 表2.3 p,q形成的极小项与极大项 表2.4 p,q,r形成的极小项与极大项 范式的规范化形式 定理2.4 设mi与Mi是命题变项p1,p2,…,pn形成的极小项和极大项，则 ┐mi ? Mi， ┐Mi ? mi 定义2.5 设由n个命题变项构成的析取范式（合取范式）中所有的简单合取式（简单析取式）都是极小项（极大项），则称该析取范式（合取范式）为主析取范式（主合取范式）。 定理2.5 任何命题公式都存在着与之等值的主析取范式和主合取范式，并且是唯一的。 定理2.5的证明 (只证主析取范式