离散数学.ppt.pptVIP

10-7 相等邏輯(Logical Equivalence) 設有邏輯主張(Propositions) P(p, q, …) 與 Q(p, q, …)，如果兩者間有相同含意的真值表(Truth Table)，則P與Q為 “相等邏輯(Logical Equivalence)”，以 P(p, q, …) = Q(p, q, …) 表示。 10-8 邏輯主張之代數式(Algebra of Proposition) (1) 等冪律(Idempotent Laws)： 1a、 pVp =p 1b、 pΛp = p (2) 結合律(Associative Laws)： 2a、 (pVq)Vr = pV(qVr) 2b、 (pΛq)Λr = pΛ(qΛr) (3) 交換律(Commutative Laws)： 3a、 pVq = qVp 3b、 pΛq = qΛp (4) 分配律(Distributive Laws)： 4a、 pV(qΛr) = (pVq)Λ(pVr) 4b、 pΛ(qVr) = (pΛq)V(pΛr) (5) 統一律(Identity Laws)： 5a、 pVf = p