离散数学(第4、5讲).pptVIP

* 计算机学院 * 利用公式的等价求G＝(P→Q)∧R的主合取范式和主析取范式。 解：G＝(P→Q)∧R＝(～P∨Q)∧R（蕴涵） ＝(～P∨Q∨(R∧～R))∧ ((～P∧P)∨(～Q∧Q)∨R)（添加R、P、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)∧ (～P∨Q∨～R)∧(～P∨～Q∨R)（结合律） －－－－－主合取范式 例1-5.4 * 计算机学院 * G＝(P→Q)∧R＝(～P∨Q)∧R （蕴涵） ＝(～P∧R)∨(Q∧R) ＝(～P∧(～Q∨Q)∧R)∨((～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) ——主析取范式 例1-5.4（续） * 计算机学院 * §1．6 命题公式的蕴涵 定义1.18 设A和B是两个合适公式，如果在任何解释下，A取值1时B也取值1，则称公式A蕴涵公式B，并记A ?B。 定理1.11 A?B iff A→B为永真式。 注意：蕴涵和条件联结词→是完全不同的。 →是命题联结词，A→B是一个命题公式； ?是公式间关系符，A?B不是一个命题公式