離散數學.ppt.ppt

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 5b、 pΛf = p 6a、 pVt = t 6b、 pΛt = t (6) 餘補律(Complement Laws)： 7a、 pV~p = t 7b、 pΛ~p = f 8a、 ~t = f 8b、 ~f = t (7) 對合律(Involution Law)： 9a、 ~~p = p (8) 迪摩根定理(DeMorgan’s Laws)： 10a、 ~(pVq) = ~pΛ~q 10b、 ~(pΛq) = ~pV~q 10-9 單向條件 與 雙向條件陳述(Conditional and Biconditional Statements) 於電腦程式碼、或於數學式，我們常遇到 “單向條件陳述(Conditional Statements)”， “如果 p為真、則q亦為真” (if p then q)，我們通常以 “p → q” 表示。 另一種條件陳述是顧及必要條件與充分條件，稱為 “雙向條件陳述(Biconditional Statements)”， “p為真、若且唯若q為真” (p if and only if q)，我們通常以 “p q” 表示。 10-10 論証(Arguments) 在電腦程式設計、“Arguments” 被視為 “參數”；在數學應用上、則被視為 “論証”，是一運算式用於確定一組陳述(Statement) 是否為真(True)。 10-11 邏輯意向(Logical Implication) 當一個邏輯主張(Proposition) P(p, q, …) 邏輯意向於(logically imply) 另一邏輯主張 Q(p, q, …)，則以下列式表示之： P(p, q, …) → Q(p, q, …) 亦即、如果 Q(p, q, …) 為真(True)、則P(p, q, …) 必為真。 6-7 根樹(Rooted Trees) 設有一樹形圖(Tree Graph) G，其最上端有一起始根節點(Root) r，則該圖是謂 “根樹(Rooted Tree)”。 6-8 排序根樹(Ordered Rooted Trees) 設有一根樹(Rooted Tree) R，其各節點(Vertices) 或各連線(Edges) 因某條件需求而作排序標記，該根樹是謂 “排序根樹(Oredered Rooted Tree)”。 第七章 有向圖(Directed Graphs)、有限狀態器(Finite State Machines) 7-0 簡介 在表達瞬間變化上(如數位運算或流動系統)、有向圖(Directed Graph) 較無向圖(Nondirected Graph) 更為貼切有用。 本章將介紹有向圖(Directed Graph) 之基本觀念與定義，並以 有向標註圖(Labeled Directed Graph) 與 有限狀態器(Finite State Machine) 範例解說之。 7-1 有向圖(Directed Graph) 7-2 基