离散数学(第四讲).docVIP

一、复习引入 用真值表分析P→Q、┒P∨Q、┒Q→┒P的真值情况：（由学生完成）看下面三个公式的真值表 P Q P→Q ┒P∨Q ┒Q→┒P 0 0 1 1 1 0 1 1 1 1 1 0 0 0 0 1 1 1 1 1 从真值表可以看出，不论对P、Q作何指派，都使得P→Q、┒P∨Q和┒Q→┒P的真值相同，表明它们之间彼此等价。 二、等值演算 1.定义：A、B是含有命题变元P1,P2,…, Pn的命题公式，如不论对P1, P2 , …, Pn作任何指派，都使得A和B的真值相同，则称之为A与B等价，记作 AB 注：若A和B都是永真的（永假的）也是等价的。 显然 P→Q┒P∨Q┒Q→┒P 2. 重要的等价公式 ⑴ 对合律┒┒PP ⑵ 幂等律 P∨PP P∧PP ⑶ 结合律 P∨(Q∨R) (P∨Q)∨R P∧(Q∧R) (P∧Q)∧R ⑷交换律 P∨QQ∨P P∧QQ∧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