离散数学第一章第四节.pptVIP

第1-4讲 范式 1.对偶式 2.对偶原理 3.合取范式和析取范式 4.主析取范式 5.主合取范式 6.真值表法求主析(合)取范式 7.用等价公式求主析(合)取范式 8.主析、合取范式互求 9.范式的应用 10. 作业 1、对偶式 定义１设命题公式Ａ中仅含有联结词?、∨、∧，将Ａ中∨、∧、Ｔ、Ｆ分别换成∧、∨、Ｆ、Ｔ所得的命题公式A*叫Ａ的对偶式。 定理１ 设Ａ(P1,P2，…,Pn)与A*(P1,P2，…,Pn)是对偶式，则 (1) ?Ａ(P1,P2，…,Pn)? A* (?P1,?P2，…,?Pn) (2) Ａ(?P1,?P2，…,?Pn)? ?A*(P1,P2，…,Pn) 证：由于Ａ仅含连接词?、∧、∨,对Ａ取否定，由德．摩根律可知，Ａ中的∨、∧、Ｔ、Ｆ将分别转化为∧、∨、Ｆ、Ｔ，且每一变元都将带上?号。所以 ?Ａ(P1, P2，…,Pn) ? A*(?P1,?P2，…,?Pn) Ａ(?P1,?P2，…,?Pn)?? A*(P1, P2，…,Pn) 例１设A*（P,Q,R）是?P∧(?Q∨R)，证明 A* (?P,?Q,?R) ? ?A(P,Q,R) 证：因A*（P,Q,R）? ?P∧(?Q∨R)，代入可得 A*(?P,?Q,?R)?P∧(Q∨?R)。 而按对偶式的定义，由A*（P,Q,R）可写出 Ａ(P,Q,R)??P∨(?Q∧R) 故 ?Ａ(P,Q,R)??（?P∨(?Q∧R)） ?P∧?(?Q∧R) （德．摩根律） ?P∧(Q∨?R) （德．摩根律） ? A*(?P,?Q,?R) 2. 对偶原理 证：设Ａ(P1, P2，…, Pn)?Ｂ(P1, P2，…, Pn)，按等价定义可知Ａ(P1, P2，…, Pn)?Ｂ(P1, P2，…, Pn)是永真式。那么Ａ(?P1,?P2，…, ?Pn)?Ｂ(?P1,?P2，…, ?Pn)亦为永真式。所以 Ａ(?P1,?P2，…, ?Pn)?Ｂ(?P1,?P2，…, ?Pn)。 根据定理１中(2)式： Ａ(?P1,?P2，…, ?Pn)??A*(P1, P2，…, Pn)， B(?P1,?P2，…, ?Pn)? ? B* (P1, P2，…, Pn)。 所以, ? A* (P1, P2，…, Pn)?? B* (P1, P2，…, Pn)。 故 A*?B*。 例４ 求下列命题的析取范式和合取范式： Q∧（(P∨?Q)→R） 解：求析取范式： Q∧（(P∨?Q)→R） ?Q∧（?(P∨?Q)∨R） （ ①消去→） ?Q∧（(?P∧Q)∨R） （② 内移?） ?（Q∧(?P∧Q)）∨(Q∧R) （③ 用∧对∨的分配律） ? (?P∧Q)∨(Q∧R) （④ 析取范式） 求合取范式（①,②两个步骤相同）： Q∧（(P∨?Q)→R） ?Q∧（(?P∧Q)∨R） ?Q∧（(?P∨R)∧(Q∨R)） ?Q∧(?P∨R)∧(Q∨R） 4、主析取范式（小项） 定义3 在ｎ个变元的合取式中，若每一个变元与其否定不同时存在，但二者之一必须出现且仅出现一次,同时按某种顺序第ｉ个命题变元或其否定出现在左起第ｉ个位置上，则这种合取式叫小项。 4、主析取范式（小项的性质） 小项有如下几个性质： ⑴ 每一个小项当其真值指派与编码相同时，其真值为Ｔ，而在其余2n-1种指派下均为Ｆ。 ⑵ 任意两个不同小项的合取式永假： ｍi∧ｍj?Ｆ (i≠j) ⑶ 全体小项的析取式永真，记为： 4、主析取范式（小项性质1、2举例） 对 性质1和 性质2举例如下： ｍ0 ：(?P∧?Q∧?R) 和 ｍ4 ：(P∧?Q∧?R)： 5、主合取范式 (大项) 定义3 在ｎ个变元的析取式中，若每一个变元与其否定不同时存在，但二者之一必须出现且仅出现一次,同时按某种顺序第ｉ个命题变元或其否定出现在左起第ｉ个位置上，则这种析取式叫大项。 5、主合取范式（大项的性质） 大项有如下几个性质： ⑴ 每一个大项当其真值指派与编码相同时，其真值为F，而在其余2n-1种指派下均为T。 ⑵ 任意两个不同大项的析取式永真： Mi∨Mj?T (i≠j) ⑶ 全体大项的合取式永假，记为： 6、真值表法求主析(合)取范式 定理３ 一个命题公式的真值表中，真值为Ｔ（Ｆ）的指派所对应的小项（大项）的析取（合取）即为此公式的主析取范式（主