离散数学讲义 第n二章命题逻辑.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 六、利用主范式判定公式类型 1. 利用主析取范式判定 (1) 若公式 F(P1, P2，…，Pn)的主析取范式包含所有2n个最小项，则 F是永真