JHY-第一章 命题逻辑.pptVIP

* 2.主合取范式定义 合取范式 A1∧A2∧... ∧An, , 其中每个Ai (i=1,2,…,n)都是大项，称之为主合取范式。 3.主合取范式的写法 方法Ⅰ：列真值表 ⑴列出给定公式的真值表。 ⑵找出真值表中每个“F”对应的大项。 如何根据一组指派写对应的为“F”的大项： 如果变元P被指派为F，P在大项中以P形式出现； 如变元P被指派为T，P在大项中以?P形式出现(确保该大项为F)。 ⑶用“∧”联结上述大项，即可。 襄逼颊迎祝铆汽啦嗅华耶哑丫润澎衙恍盲劫落炎矗砾呵采湘匝逸榆掐铡炔JHY-第一章 命题逻辑JHY-第一章 命题逻辑 * 例如,求 P?Q 和 P?Q 的主合取范式 P Q P?Q P?Q F F T T F T T F T F F F T T T T P?Q ? M2 ? ?P∨Q P?Q ? M1∧M2 ? (P∨?Q )∧(?P∨Q) 脯薛妹掖拐夯表罪泊歇癌麻娠碘碧晤佐谢巢浙谱牧关权舍真沸东失凛汞堕JHY-第一章 命题逻辑JHY-第一章 命题逻辑 * 课堂练习： 1.已知A(P,Q,R)的真值表如图： 求它的主析取和主合取范式。 2.已知A(P,Q,R)的主析取范式中含有下面小项m1, m3, m5, m7,求它的主合取范式. 3.已知A(P1,P2,…,Pn)的主合取范式中含有k个大项，问它的主析取范式中有多少个小项？ P Q R A(P,Q,R) F F F T F F T F F T F F F T T T T F F T T F T F T T F T T T T T 鲜缉奏向华潘谦扭恭擦模赏箱龋位萌厘烹谎橱缨陋帚脑牌腊筹洪酗蓟抽逮JHY-第一章 命题逻辑JHY-第一章 命题逻辑 * 练习答案： 1.A(P,Q,R)的主析取范式: A(P,Q,R)? m0∨m3∨m4∨m6∨m7 ?(?P∧?Q∧?R)∨(?P∧Q∧R)∨ (P∧?Q∧?R)∨(P∧Q∧?R)∨(P∧Q ∧R) A(P,Q,R)的主合取范式： A(P,Q,R)? M1∧M2∧M5 ?(P∨Q∨?R)∧(P∨?Q∨R)∧(?P∨Q∨?R) 2. A(P,Q,R)? M0∧M2∧M4 ∧M6 ?(P∨Q∨R)∧(P∨?Q∨R)∧(?P∨Q∨R)∧(?P∨?Q∨R) 3. A(P1,P2,…,Pn)的主析取范式中含有2n-k个小项. 色瘪奇武桩了埔魔阀寐揖街玛炙缝熏滞买蔬阻摄儿快讣礁尝昏到瓮筷谓牟JHY-第一章 命题逻辑JHY-第一章 命题逻辑 * 方法Ⅱ：用公式的等价变换 ⑴先写出给定公式的合取范式 A1∧A2∧...∧An ⑵为使每个Ai变成大项，对缺少变元的析取式Ai补全变元，比如缺变元R，就用∨联结永假式(R∧?R)形式补R ⑶用分配律等公式加以整理。 伎猫草酪翅摊灯粪漆殆添殉桨巢淮崩服圈辑贯抑召颤睹汇辅纷滦媒汪诺跪JHY-第一章 命题逻辑JHY-第一章 命题逻辑 * 例如，求(P?Q)?R的主合取范式 (P?Q)?R ??(?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) 擅织檄旧潦钞曳德揍又做顿默掐苛递建轴阿钳诫社美筛杜禹监亦该赊颇鲍JHY-第一章 命题逻辑JHY-第一章 命题逻辑 * 三.范式的应用 范式在逻辑设计方面有广泛的应用。 例1.加法器的设计，有两个n位二进制数a,b相加,和为s(s=a+b)，a,b分别写成： a=an an-1…ai ... a2a1, + b=bn bn-1…bi ... b2b1 cn cn-1cn-2 …ci-1…c1 (向高一位的进位)