离散数学课件.pptVIP

用真值表法求A=(p→q)∧q的主合取範式由下表得答案:A?(?p∨q)∧(p∨q)pq?p∨?q?p∨qp∨?qp∨q(p→q)∧q00011011111010110111101100011111主析取範式的應用11、判斷兩個命題公式是否等值由於任何命題公式的主析取範式都是唯一的，因而若A?B，說明A與B有相同的主析取範式。反之若A、B有相同的主析取範式，必有A?B。主析取範式的應用舉例1求證p→q??p∨(p∧q)p→q??p∨q??p∧(?q∨q)∨(?p∨p)∧q?(?p∧?q)∨(?p∧q)∨(p∧q)?m0∨m1∨m3?p∨(p∧q)??p∧(?q∨q)∨(p∧q)?(?p∧?q)∨(?p∧q)∨(p∧q)?m0∨m1∨m3主析取範式的應用22、判斷命題公式的類別設Ａ含有n個命題變元的命題公式，A為重言式當且僅當A的主析取範式中含全部2n個極小項；A為矛盾式當且僅當A的主析取範式中不含極小項；A為可滿足式若A的主析取範式中至少含一個極小項；主析取範式的應用舉例２利用主析取範式判斷命題公式的類別（1）q∧(p∨?q)?(q∧p)∨(q∧?q)?q∧p??3q∧(p∨?q)為可滿足式（2）p→(p∧(q→p))??p∨(p∧(?q∨p))?(?p∧(?q∨q))∨((p∧?q))∨(p∧(?q∨q))?(?p∧?q)∨(?p∧q)∨(p∧?q)∨(p∧q)??(0,1,2,3)p→(p∧(q→p))為重言式主析取範式的應用33、求命題公式的成真和成假賦值主析取範式中出現的極小項編碼的二進位表示為原公式的成真賦值，而主析取範式中沒出現的極小項編碼的二進位表示為原公式的成假賦值。因此只要知道一個命題公式A的主析取範式就可以求出A的真值表。主合取範式的應用通過主合取範式也可以判斷公式之間是否等價，判斷公式類別（A為重言式當且僅當主合取範式不含任何極大項），求成假賦值（所含極大項的二進位表示）任何非永假(真)命題公式A的主析(合)取範式都是唯一的證(反證法)設A有兩個不同的主析取範式:A1和A2,則A1?A2.由於A1和A2不同,故有極小項m只出現在它們的一個當中.不妨令m在A1而不在A2中.取A1和A2的所有小項除m為成真外全為成假指派，於是對應這個指派,A1為真而A2為假,便與A1?A2矛盾。主析、合取範式的關係只要求出了命題公式A的主析取範式，也就求出了主合取範式（反之亦然）。極小項與極大項之間的關係：?mi?Mi?Mi?mi主析範式求主合取範式的步驟（1）求出A的主析範式中沒有包含的極小項；（2）求出與（1）中極小項編碼相同的極大項；（3）由以上極大項構成的合取式為A的主合取範式。例如：A中含3個命題變項，主析取範式為A?m0∨m1∨m5∨m7??(0，1，5，7)