离散数学课件 (3).pptVIP

;2.1 等值式; 设公式Ａ、Ｂ中总共含有命题变项p1, p2, … pn，但Ａ或Ｂ并不全含有这些变项。如果某个变项未在公式Ａ中出现，则称该变项为Ａ的哑元。同样可定义Ｂ的哑元。 在讨论Ａ与Ｂ是否有相同的真值表时，应将哑元考虑在内，即将Ａ、Ｂ都看成含所有p1 , p2 , … pn的命题公式，如果在所有2n个赋值下，Ａ与Ｂ的真值相同，则Ａ?Ｂ为重言式。;; (1) p→(q→r)与(p∧q)→r; (2)(p→q)→r 与(p∧q)→r。 解：所给的4个公式的真值表如下：; 当命题公式中变项较多时，用上述方法判断两个公式是否等值计算量很大。为此，人们将一组经检验为正确的等值式作为等值式模式，通过公式间的等值演算来判断两公式是否等值。常用的等值式模式如下： 1.双重否定律：A? ┐(┐A) 2.幂等律：A?A∨A, A?A∧A 3.交换律: A∨B?B∨A, A∧B?B∧A 4.结合律: (A∨B)∨C?A∨(B∨C), (A∧B)∧C?A∧(B∧C) 5.分配律：A∨(B∧C)?(A∨B)∧(A∨C) (∨对∧的分配律) A∧(B∨C)?(A∧B)∨(A∧C) (∧对∨的分配律) 6.德摩根律：┐(A∨B)? ┐A∧┐B, ┐(A∧B)?┐A∨┐B 7.吸收律：A∨(A∧B