离散数学额数理逻辑sc.pptVIP

判定方法——真值表法 例1 用真值表证明下列等式 P→Q?┐P?Q 即证明 P→Q ? ┐P?Q为重言式 课堂练习 用真值表证明下列等式是否成立 (a) (P?┐P) ?Q ? Q 同一律 (b) P?┐P ? Q?┐Q （3）((p?q)?(p??q))?r) ? (p?(q??q))?r （分配律） ? p?1?r （排中律） ? p?r （同一律） 由最后一步可知，（3）不是矛盾式，也不是重言式，它是可满足式，其中101, 111是成真 赋值，000, 010等是成假赋值. 将下面一段程序简化： If A?B then If B?C then X else Y end Else If A?C then Y else X end End 解实际问题（见书上例2.6） 在某次研讨会的中间休息时间，3名与会者根据 王教授的口音对他是哪个省市的人进行了判断： 甲说王教授不是苏州人，是上海人 乙说王教授不是上海人，是苏州人 丙说王教授既不是上海人，也不是杭州人 听完以上3人的判断后，王教授笑着说，你们3人中 有一人说的全对，有一人说对了一半，另一人说的 全不对。试用逻辑演算法分析王教授到底是哪里人？ 解: 设命题 P:王教授是苏州人。 Q :王教授是上海人。 R :王教授是杭州人。 设 甲的判断为A1= ┐P ∧ Q 乙的判断为A2= P ∧ ┐ Q 丙的判断为A3= ┐ Q ∧ ┐ R 则 甲的判断全对 B1=A1= ┐P ∧ Q 甲的判断对一半 B2=（（ ┐P ∧ ┐ Q） ∨ （P ∧ Q）） 甲的判断全错 B3= P ∧ ┐ Q 乙的判断全对 C1=A2= P ∧ ┐ Q 乙的判断对一半 C2=（（P ∧ Q） ∨ （ ┐P ∧ ┐ Q）） 乙的判断全错 C3= ┐P ∧ Q 丙的判断全对 D1=A3= ┐ Q ∧ ┐ R 丙的判断对一半 D2= （Q ∧ ┐R ） ∨（ ┐ Q ∧ R ） 丙的判断全错 D3= Q ∧ R 由王教授所说E=（B1 ∧ C2 ∧ D3 ） ∨（ B1 ∧ C3 ∧ D2 ） ∨（ B2 ∧ C1 ∧ D3 ） ∨（ B2 ∧ C3 ∧ D1 ） ∨（ B3 ∧ C1 ∧ D2 ） ∨（ B3 ∧ C2 ∧ D1 ）为真命题 ?例1：求(P ? Q) ? R的析取范式与合取范式。 解: 原式?((P?Q) ?R)∧(R?(P?Q) ) ?(┐(P?Q)∨R)∧(┐R ∨(P?Q) ) ?(┐(┐P∨Q)∨R)∧(┐R∨┐P∨Q ) ?((P∧ ┐Q)∨R)∧(┐R∨┐P∨Q ) ?((P∨R)∧(┐Q∨R)∧(┐R∨┐P∨Q ) (合取范式) ?((P∧┐Q)∧(┐R∨┐P∨Q))∨(R ∧(┐R∨┐P∨Q )) ?(P∧┐Q∧┐R)∨(R∧┐P)∨(R∧Q) (析取范式) 谁是说谎者？ 张三说李四在说谎，李四说王五在说谎，王五说张 三、李四都在说谎，请问三人到底谁说真话，谁说 假话? 例1：求(P ? Q) ? R的主析取范式。 解:原式?(P∧┐Q∧┐R)∨(R∧┐P)∨(R∧Q) (析取范式) ?(P∧┐Q∧┐R)∨((R ∧┐P)∧(Q∨┐Q))∨ ((P∨┐P) ∧(R∧Q )) ?(P∧┐Q∧┐R)∨(┐P∧Q∧R)∨(┐P∧┐Q∧R)∨ (P ∧Q∧R)∨(┐P∧Q∧R ) ?(P∧┐Q∧┐R)∨(┐P∧Q∧R)∨(┐P∧┐Q∧R)∨(P∧Q∧R) (主析取范式) ? m1∨m3∨m4∨m7 ?例2：求(P ? Q) ? R的主合取范式。 解: 原式?((P∨R)∧(┐Q∨R)∧(┐R∨┐P∨Q ) (合取范式) ?((P∨R)∨(Q∧┐Q)) ∧((P∧┐P) ∨(┐Q∨R)) ∧(┐P∨Q∨┐R ) ?(P∨Q∨R)∧(P∨┐Q∨R)∧(P∨┐Q∨R)∧ (┐P∨┐Q∨R)∧(┐P∨Q∨┐R ) ?(P∨Q∨R)∧(P∨┐Q∨R)∧ (┐P∨┐Q∨R)∧(┐P∨