析取范式与合取范式（课堂PPT）.pptVIP

§2.2 析取范式与合取范式;;范式的定义;定理2.2;例2.7 求下面公式的析取范式与合取范式： ;将公式转化为范式的步骤;例2.7 求下面公式的析取范式与合取范式： ;极小项与极大项的定义;极小项与极大项的定义;极小项 ;定理2.4 设mi与Mi是命题变项p1,p2,……,pn形成的极小项和极大项，则 ; 定理2.5 ;求A=?(r?p)?(q?(p?r))的主析取范式;?(r?p)?(q?(p?r))的主合取范式 ?(?r?p)?(q?p)?(q?r) (?p ? r)?(q?p)?(q?r) [(?p?r) ? q] ? [(?p?r) ? p] ?(q?r) [(?p ? q) ? (q ? r) ?(?p ? p) ?(p ? r) ]?(q?r) (?p ? q ? q) ? (q ? r ? q) ? (p ? r ? q) ? (?p ? q ? r) ? (q ? r ? r) ? (p ? r ? r) (?p ? q ) ? (q ? r) ? (p ? r ? q) ? (?p ? q ? r) ? (q ? r) ? (p ? r) (?p ? q ) ? (q ? r) ? (p ? r ? q) ? (?p ? q ? r) ? (p ? r) (?p ? q ?r) ? (?p ? q ? ? r) ? (p ? q ? r) ? (p ? ? q ? r) M4 ?M5 ?M0 ?M2;例2：;如何求一个公式的主析取范式？ （1）利用等值转化法 （2）利用真值表 （3）通过主合取范式求逆;例3：;练习: 求 (? p →q) ?(q ? r) 的主析取范式;练习: 求 (? p →q) ?(q ? r) 的主析取范式;练习: 求 (? p →q) ?(q ? r) 的主析取范式;历史遗留问题: 我只给村里所有那些不给自己理发的人理发 只要别人有困难,他就帮忙,除非困难解决. a:别人有困难, b: 他帮忙 a ?b;作业问题: 整体较好,都交了. 个别书写不认真,应付私事。 注意“?” 的书写 P14 14题;P38 4题(4) (p ??q) ?(?p?q) (p ? q) ? ?(p ? q);主析取范式的用途;例1: 求 (?p→q)→ (?q∨p) 的成真赋值;A m1∨m2∨…∨ms; (2) (p?q)→r (?p? ? q) ?r (?p??q?r)?(?p??q??r)?(p?q?r)?(?p?q?r) (p??q?r)?(?p??q?r) ; 若公式A、B含有相同的命题变项， A与B等值的充要条件是它们有相同的主析取范式。;例: 某科研所要从3名科研骨干A、B、C中挑选1~2名出国进修，由于工作需要，选派时要满足以下条件： （1）若A去，则B同去；（2）若B去，则C不能去； （3）若C不去，则A或B可以去。 问所里有哪些选派方案？;§2.3 联结词的完备集 ;联结词完备 设S是一个联结词集合，如果任何n(n≥1)元真值函数都可以由 仅含S中的联结词构成的公式表示，则称S是联结词完备集。; 与非联结词;小 结 主要内容： 等值式 基本的等值式 主析取范式与主合取范式 联结词完备 要求 熟练掌握等值演算 熟练掌握公式主析取范式（主合取范式）的求法 会用主析取范式解决一些问题 会将公式化为联结词完备集中的公式;一、下列说法正确的是: A B 当且仅当A?B是可满足式 A B 当且仅当A和B有相同的主析取范式 若A为重言式,则A的主析取范式含有个 2n极小项 若A为矛盾式,则A的主析取范式为1 若A为矛盾式,则A的主合取范式为1 任何公式A都能等值的化为联结词{∧, ∨}中的公式 任何公式A都能等值的化为联结词集合{→, ┐, ∧}中的公式;二、用等值演算法来判断下列公式的类型;四、用主合取范式法来判断下列公式的类型,并求其成假赋值;五、已知公式A含3个命题变项p,q,r，并且它的成真赋值为001， 011,110，求A 的主合取范式和主析取范式。 解：成真赋值对应的极小项为：m1,m3,m6 故主析取范式为：A m1 ? m3 ? m6;六、用等值演算证明下属等值式;七、将下列公式化成与之等值且仅含{→， ? }的公式