离散数学命题逻辑 对偶与范式.pptVIP

主合取范式 主合取范式 主合取范式 主合取范式 例题10: 主析取范式与主合取范式的互求 已知公式的主析取范式或主合取范式之一，另一个其实不需要 再求而直接写出。具体做法 找出主范式中没有出现的大（小）项； 将找出的大（小）项中变元换成相应的否定式，而变元的 否定式转换为相应的变元，并将析（合）取变为合（析）取， 求得相应的小（大）项； (3) 最后用析（合）取将它们联结成主析（合）取范式。 *离散数学-lecture5 * 1-7 对偶与范式 1-7 对偶与范式 主要内容： 对偶式 合取范式 析取范式 主合取范式 主析取范式 1-7 对偶与范式 (c)?(P∧Q) ∨(P∧?(Q∨?S)) 解：这些表达式的对偶式是 (a) (P∧Q) ∨R (b) (P∨Q) ∧F 1-7 对偶与范式 解 因为P?Q??(P∧Q)，故P?Q的对偶式为?(P∨Q)?P?Q。 同理P?Q ??(P∨Q)，所以P?Q的对偶式为?(P∧Q)?P ?Q。 附例1 求下列表达式的对偶式，并写出与对偶式等价的只包含 ∧，∨，?的表达式 (a) (P∧Q)?R (b) P?(Q∧R) 解 (a) (P∨Q)?R ? ?((P∨Q)∨R) (b) P?(Q∧R) ? ?P∨(Q∧R)，故对偶式为?P∧ (Q∨R) 1-7 对偶与范式 证明 由于A*(S,W,R)是?S∧(?W∨R)，则A(S,W,R)是 ?S∨(?W∧R)， A*(?S, ?W, ?R)是S∧(W∨?R)， ?A(S,W,R)是S∧(W∨?R)，所以 A*(?S, ?W, ?R) ? ?A(S,W,R) 1-7 对偶与范式 1-7 对偶与范式 范式 希望这种标准形能为我们的讨论带来些方便，如借助于标准形对任意两个形式上不同的公式，可判断它们的是否等值。借助于标准形容易判断任一公式是否为重言式或矛盾式 范式 范式 求合取或析取范式的步骤 求合取或析取范式的例子 求合取或析取范式的例子 范式可用来判断重言式和矛盾式　　 若一公式的合取范式中，所有的析取式都至少含有一个互补对，则该范式及相应的公式必为重言式。　　 若一公式的析取范式中，所有的合取式都至少含有一个互补对，则该范式及相应的公式必为矛盾式。 主范式 主范式：小项 主范式 小项的性质 主析取范式 主析取范式举例 主析取范式举例 主析取范式的构成 两种方式： 由真值表得出 有基本等价公式推出 主析取范式举例 主析取范式举例 主析取范式 判断两个公式是否等价： 一个命题公式的主析取范式．如将其命题变元的个数及出现次序固定后， 则此公式的主析取范式便是唯一的 主合取范式 主合取范式 主合取范式-大项的性质 主合取范式 证明：设给定公式为A，其真值为F的指派对应的大项为 M1, M2,…, MK，这些大项的合取记为B。 对于A为F的真值指派，有对应大项Ml(1?l?k)，由于Ml为 F，所以B为F。对于A为T的指派，对应大项必不在B中，即 B中所有大项均为T，所以B为T。 *离散数学-lecture5