离散数学命题逻辑3学习课件.pptVIP

主范式的用途 主范式的用途与真值表相同。 (1) 求公式的成真赋值和成假赋值。 例如 (p ? ?q) ? r ? m1 ? m3 ? m5 ? m6 ? m7， 其成真赋值为:001, 011, 101, 110, 111， 其成假赋值为: 类似地，由主合取范式也可立即求出成假赋值和成真赋值. 000, 010, 100 主范式的用途(续) (2) 判断公式的类型。 设A含n个命题变项，则 A为永真式 ? A的主析取范式含2n个极小项 ? A的主合取范式为1. A为永假式 ? A的主析取范式为0 ? A的主合析取范式含2n个极大项 A为非永真和永假式： ? A的主析取范式中至少含一个且不含全部极小项 ? A的主合取范式中至少含一个且不含全部极大项 A?B ? A?B的主析取范式含2n个极小项 ? A的主合取范式为1. 主范式的用途(续) 例 用主析取范式判断下述两个公式是否逻辑等价： ⑴ p ? (q ? r) 与 (p ? q) ? r ⑵ p ? (q ? r) 与 (p ? q) ? r 解 p ? (q