离散数学左孝陵版第一章答案课件.pptVIP

例5 求公式 F1= (P?Q)?(P??Q)和 公式F2=P?(P?(Q?P))的主合取范式 F1? (?P?Q)?(P??Q) E11 ? (?P?Q)?(P?(Q??Q))?(?Q?(P??P)) E?5, E4 ? (?P?Q)?(P?Q)?(P??Q)?(P??Q)?(?P??Q) E?3 ? (P?Q)?(P??Q)?(?P?Q)?(?P??Q) E?7 解 F2 ??P∨(P∧(?Q∨P)) E11 ? (?P∨P)∧(?P∨?Q∨P) E3ノ ?1∧1 E5,E1 ? 1 定理7-7 每一个不为永真的公式 F(P1, P2, …, Pn）必与一个由P1, P2, …, Pn所产生的主合取范式等值。 永假公式的主合取范式包含所有 2n个最大项。 永真公式的主合取范式是一空公式，用1表示。 六、利用主范式判定公式类型 1. 利用主析取范式判定 (1) 若公式 F(P1, P2，…，Pn)的主析取范式包含所有2n个最小项，则 F是永真公式。例如，例4中的 F1。 (2) 若 F的主析取范式是一空公式且为0，则 F是永假公式。例如，例4中的 F2。 (3) 否则，F为可满足的公式。 2 利用主合取范式判定 (1) 若公式F（P1, P2, …, Pn）的主合取范式包含所有2n个最大项，则F是永假公式。例如，例5中的F1。 (2) 若F的主合取范式是一空公式且为1，则F是永真公式。例如，例5中的F2。 (3) 否则，F为可满足公式 例6 求公式F=(Q?(P?Q))?P的主范式并判定公式的类型. 解 (1) 求F的主析取范式 F? ? (Q?(?P?Q))?P ? ?Q ? (P??Q)?P ? (?Q?(P??P)) ?(P??Q)?(P?(Q??Q)) ? （P??Q)?(?P??Q)?(P??Q)?(P?Q)?(P??Q) ? (P?Q)?(P??Q)?(?P??Q) 由此可知F是可满足公式。 (2) 求F的主合取范式 F ?（?Q?(P??Q))?P ? P??Q 由前分析和举例可知： 仅需求出公式F的任一种主范式即可判定F的类型。 练习 7-4? 1．判断公式F=(?P∨?Q)→(P??Q)是否为重言式或矛盾式？ 解 F?? (?P∨?Q)∨((P→?Q)∧(?Q→P)) E11 ? (P∧Q)∨((?P∨?Q)∧(Q∨P)) E10,E6,E11 ? (P∧Q)∨((?P∧(Q∨P))∨(?Q∧(Q∨P))) E3 ? (P∧Q)∨(?P∧Q)∨(?P∧P)∨(?Q∧Q)∨(?Q∧P) E3 ? (P∧Q)∨(?P∧Q)∨(?Q∧P) E5ノ,E8 F的主析取范式既非空公式，又未包含22=4个项，故F不是重言式和矛盾式，只是可满足式。 7.5 命题演算的推理理论 一、推理 推理是由已知的命题得到新命题的思维过程。 定义7-19 设A和B是两个命题公式，如果A?B，即如果命题公式A?B为重言式，则称B是前提A的结论或从A推出结论B。一般地设H1，H2，…,Hn和C是一些命题公式,若蕴含式 H1∧H2∧…∧Hn ? C (*) 成立，则称C是前提集合{ H1，H2，…,Hn}的结论，或称从前提H1，H2，…,Hn能推出结论C。有时也记作H1，H2，…,Hn ? C 　1、真值表法 对于命题公式 　　　中所有命题变元的每一组真值指派作出该公式的真值表，看是否为永真。 P Q 0 0 0 1 1