第一篇_命题逻辑1-4节.pptVIP

例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的类型。 练习 1-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)