离散数学逻辑等价式.pptxVIP

1.3逻辑等值式定义：若公式A、B构成A?B为永真式，称A、B逻辑等值，记为A?BA?B成为永真式，即是A为0时，B为0；A为1时B为1。A?B，A、B不一定具有相同变元。例如：P∧?P?Q∧?QA?B中,?是联结词，A?B是公式；A?B中,?是符号

01真值表（适用于n=3）02等值演算法判别等值的方法

用真值表判别A、B等值例：求证A∧(A∨B)?A构造公式A∧(A∨B)和A的真值表；判断两个的真值表是否相同。是，则等价。11111111010101000000A∧(A∨B)ABA返回判别等值的方法

基本等值式（一）名称等值式双重否定??A?A等幂律A∧A?AA∨A?A交换律A∧B?B∧AA∨B?B∨A结合律(A∧B)∧C?A∧(B∧C)(A∨B)∨C?A∨(B∨C)德·摩根律?(A∧B)??A∨?B?(A∨B)??A∧?B吸收律A∧(A∨B)?AA∨(A∧B)?A零律A∧0?0A∨1?1同一律A∧1?AA∨0?A

基本等值式(二）名称等值式否定律A∧?A?0A∨?A?1蕴涵等值式A→B??A∨B等价等值式A?B?（A→B）∧（B→A）逆否律A→B??B→?A输出律(A∧B)→C?A→(B→C)归谬律(A→B)∧(A→?B)??A

如果A?B，则Φ(A)?Φ(B)设Φ(A)是含命题公式A的命题公式，Φ(B)是用命题公式B置换了Φ(A)中的A得到的公式。置换定理

?(A∧B)??A∨?B的证明0001011110010101101101110100?(A∧B)??A∨?BBA1245311116

A∧(A∨B)?A的证明1111101000001101A∧(A∨B)?ABA2111113

A→B??A∨B的证明11113111110100001A→B??A∨BBA21311001110

例：证明?(p∨(?p∧q))?(?p∧?q)作用一：证明两公式等价01??((p∨?p)∧(p∨q))分配律??(T∧(p∨q))否定律??(p∨q)同一律??p∧?q德·摩根律证明:?(p∨(?p∧q))02等价演算（等值演算）

作用二：判别一公式的类型例：证明(p∧q)→(p∨q)是重言式证明：(p∧q)→(p∨q)??(p∧q)∨(p∨q)?(?p∨?q)∨(p∨q)?(?p∨p)∨(?q∨q)?T∨T?T所以，(p∧q)→(p∨q)是重言式等价演算（等值演算）

又例：判定公式?(p∧q→p)的类型01解：?(p∧q→p)02??(?(p∧q)∨p)03??(?(p∧q))∧?p04?(p∧q)∧?p05?(p∧?p)∧q06?F∧q07所以,?(p∧q→p)是矛盾式08?F09

等价的传递性A?B,B?C,则A?C

化简电路图A(p,q)=?(p∧q)∧(p∨?q)?(?p∨?q)∧(p∨?q)?(?p∧p)∨(?q∧p)∨?q?0∨?q??qpqA(p,q)qA(p,q)

1.4联结词的全功能集联结词的全功能集：能表达任一命题的联结词集。例如{?,∨,∧}{?,∨,∧,→}若一个联结词的全功能集不含冗余的联结词,则称为极小全功能集{?,∧}{?,∨}简介：A↑B定义为：?(A∧B),(与非联结词)A↓B定义为：?(A∨B),(或非联结词)则{↑}，{↓}是全功能集。

例1:试证{↑}是全功能集. 证：┐P?┐(P?P)?P↑PP?Q?┐┐(P?Q)?┐(P↑Q)?(P↑Q)↑(P↑Q)P?Q?┐(┐P?┐Q)?┐((P↑P)?(Q↑Q))?(P↑P)↑(Q↑Q)例2.试证{┐，→}是全功能集证：P?Q?┐(┐P?┐Q)?┐(P→┐Q)P?Q?┐(┐P)?Q?┐P→Q

从{0,1}n到{0,1}的真值函数有22n个pqF0F1…………0001101100000001F12