离散数学总复习幻灯片.pptVIP

* * * * * * 本节小结 要熟练掌握这五个联结词在自然语言中所表示的含义以及它们的真值表的定义。 P Q P∧Q P∨Q P?Q P?Q F F F F T T F T F T T F T F F T F F T T T T T T 2. 定义：A、B是含有命题变元P1,P2,…, Pn的命题公式，如不论对P1, P2 , …, Pn作任何指派，都使得A和B的真值相同，则称之为A与B等价，记作A?B。 显然 P?Q??P∨Q??Q??P 3. 重要的等价公式 ⑴ 对合律 ??P?P ⑵ 幂等律 P∨P?P P∧P?P ⑶ 结合律 P∨(Q∨R)?(P∨Q)∨R P∧(Q∧R)?(P∧Q)∧R ⑷ 交换律 P∨Q?Q∨P P∧Q?Q∧P ⑸分配律 P∨(Q∧R)?(P∨Q)∧(P∨R) P∧(Q∨R)?(P∧Q)∨(P∧R) ⑹ 吸收律 P∨(P∧Q)?P P∧(P∨Q)?P ⑺底-摩根定律 ?(P∨Q)??P∧?Q ?(P∧Q)??P∨?Q ⑻ 同一律 P∨F?P P∧T?P ⑼ 零律 P∨T?T P∧F?F ⑽ 互补律 P∨?P?T P∧?P?F ⑾ P?Q??P∨Q ⑿ P?Q??Q??P ⒀ P?Q ?(P?Q)∧(Q?P) ⒁ P?Q ?(?P∨Q)∧(P∨?Q) ⒂ P?Q ?(P∧Q)∨(?P∧?Q ) 2.主析取范式定义 析取范式 A1∨A2∨...∨An, , 其中每个Ai (i=1,2..n)都是小项，称之为主析取范式。 3.主析取范式的写法 方法Ⅰ：列真值表 ⑴列出给定公式的真值表。 ⑵找出真值表中每个“T”对应的小项。 (如何根据一组指派写对应的为“T”的项：如果变元P被指派为T，P在小项中以P形式出现；如变元P被指派为F,P在小项中以?P形式出现(因要保证该小项为T))。 ⑶用“∨”联结上述小项，即可。 2.主合取范式定义 合取范式 A1∧A2∧... ∧An, , 其中每个Ai (i=1,2..n)都是大项，称之为主合取范式。 3.主合取范式的写法 方法Ⅰ：列真值表 ⑴列出给定公式的真值表。 ⑵找出真值表中每个“F”对应的大项。 如何根据一组指派写对应的为“F”的大项： 如果变元P被指派为F，P在大项中以P形式出现； 如变元P被指派为T，P在大项中以?P形式出现 (确保该大项为F)。 ⑶用“∧”联结上述大项，即可。 在一个谓词公式中，如果某个客体变元既以约束变元形式出现，又以自由变元形式出现，就容易产生混淆。为了避免此现象发生，可以对客体变元更改名称。 如 ?x(F(x,y)→?yP(y))∧Q(z) 约束变元的改名规则： (1).对约束变元可以更改名称，改名的范围是：量词后的指导变元以及该量词的辖域内此客体变元出现的各处同时换名。 (2).改名后用的客体变元名称，不能与该量词的辖域内的其它变元名称相同。 例如?x(P(x)→Q(x,y))∨(R(x)∧A(x)) 此式中的x 就是以两种形式出现。可以对x改名成 ?z(P(z)→Q(z,y))∨(R(x)∧A(x)) 对自由变元也可以换名字，此换名叫代入。 对自由变元的代入规则： (1).对谓词公式中的自由变元可以作代入。代入时需要对公式中出现该变元的每一处，同时作代入。 (2).代入后的变元名称要与公式中的其它变元名称不同 上例也可以对自由变元x作代入，改成 ?x(P(x)→Q(x,y))∨(R(z)∧