离散数学析取范式与合取范式备课讲稿.pptVIP

1.4 析取范式与合取范式 ;定义 文字:命题变项及其否定的总称. 简单析取式:有限个文字构成的析取式. 如 p, ?q, p??q, p?q?r, … 简单合取式:有限个文字构成的合取式. 如 p, ?q, p??q, p?q?r, …; 由有限个简单合取式组成的析取式. A1?A2???Ar , 其中A1, A2, ?, Ar 是简单合取式 合取范式:由有限个简单析取式组成的合取式. A1?A2???Ar , 其中A1, A2, ?, Ar 是简单析取式;范式:析取范式与合取范式的总称. 公式A的析取范式: 与A等值的析取范式 公式A的合取范式: 与A等值的合取范式 说明??? 单个文字既是简单析取式，又是简单合取式 形如p??q?r, ?p?q??r 的公式既是析取范式， 又是合取范式 (为什么?) ; 任何命题公式都存在着 与之等值的析取范式与合取范式. 求公式A的范式的步骤： (1) 消去A中的?, ?（若存在） (2) 内移或消去否定联结词? (3) 利用分配律 ?对?分配（析取范式） ?对?分配（合取范式） 公式的范式存在，但不惟一，这是它的局限性. ;求公式的范式举例 ;(2) B = ( p??q)?r 解: (p??q)?r ? (?p??q)?r （消去第一个?） ? ?(?p??q)?r （消去第二个?） ? (p?q)?r （否定号内移——德摩根律） 这一步已为析取范式（两个简单合取式构成） 继续： (p?q)?r ? (p?r)?(q?r) （?对?分配律） 这一步得到合取范式（由两个简单析取式构成） ;例1.16 (1)求(? p?q) ? (p ?r) 的析取范式; 解: (? p?q) ? (p ?r) ? (? ? p?q) ? (? p ?r) （消去?） ? ( p?q) ? (? p ?r) （双重否定律） ?( p?? p)?(q?? p)?( p ? r)?(q ? r) （?对?分配） ?(q?? p)?( p ? r)?(q ? r) （零律,同一律） ;(2) 求 ( p? q) ? (p ? r) 的合取范式。 解: ( p? q) ? (p ? r) ? (?p ? q) ? ( p ? r) （消去?） ? (?p ? q ? p) ? (?p?q ? r) （? 对? 分配） ? ?p ? q ? r （排中律,同一律） ;极小项;说明：n个命题变项产生2n个极小项，2n个极小 项均互不等值. 用mi 表示第i个极小项，其中i是 该极小项成真赋值的十进制表示, mi 称为极小 项的名称. ;公式 ; ;主析取范式;定理 任何命题公式都存在着与之等值的主析取 范式, 并且是惟一的. 用等值演算法求公式的主析取范式的步骤： (1) 先求析取范式; (2) 将不是极小项的简单合取式化成与之等值的 若干个极小项的析取，需要利用同一律、排中 律、分配律、等幂律 …… (3) 极小项用名称mi 表示，按角标从小到大顺序排序. ;求公式的主析取范式; r ?(?p?p)?(?q?q)?r ?(?p??q?r)?(?p?q?r)?(p??q?r)?(p?q?r) ? m1?m3?m5?m7 ③ ②, ③代入①并排序，得 (p??q)?r ? m1?m3?m5? m6?m7（主析取范式） ;例1.18 求下列公式的主析取范式. (?p?q) ? ( p ? r ) (( p ? q) ? r ) ? p 答案: (1) (?p?q) ? ( p ? r ) ? m2? m3?m5 ?m7 (2) (( p ? q) ? r ) ? p ? m2? m4?m5 ? m6?m7 ;例1.19 由( p ? q) ? r 的真值