数位逻辑与实习Week4曾建勋.PPT

* * * * * * * * * * * * * * * * * * * * * * * * * * * Digital Circuits 數位邏輯與實習 Week 4 曾建勳 2-* 正規形式與標準形式 全及項(最小項,miniterm)與全或項(最大項, maxterm) 全及項(all AND)： 一個由AND邏輯組成起來的項，且項內所有文字字元可以是正常形式或補數形式。 範例：由兩個二元變數x 與 y組成的所有全及項: xy, xy, xy, xy 全及項又可稱為標準積 (standard product) n 個變數可以組合成 2n 個全及項。 全或項(all OR)： 一個由OR邏輯組成起來的項。 範例：由兩個二元變數x 與 y組成的所有全及項: x+y, x+y, x’+y, x‘+y 全或項又可稱為標準和 (standard sum) n 個變數可以組合成 2n 個全或項 2-* 每一個全或項為其相對應全及項的補數，反之亦然。 表2-3列有3個變數所形成的8個全及或項與全或項。 補數 邏輯閘中作為訊號辨識 正規形式與標準形式 2-* 一個布林函數可用下列方式表示： 真值表 全及項之和(和:OR邏輯) f1 = x‘y’z + xy‘z’ + xyz = m1 + m4 +m7 f2 = xyz+ xyz + xyz+xyz = m3 + m5 +m6 + m7 正規形式 模擬驗算中 只要其中一 個是真值即 可 2-* 布林函數的補數 由真值表中找出函數值是0的全及項合? f1 = m0 + m2 +m3 + m5 + m6 = xyz+xyz+xyz+xyz+xyz f1‘的補數(使用Demorgan Thm.): f1 = (f1)’=(x+y+z)(x+y+z)(x+y+z) (x+y+z)(x+y+z)= M0 M2 M3 M5 M6 任何布林函數可用下列方式表示： 全及項之和 全或項之積 布林函數用全及項的和或全或項的積 來表示皆稱正規形式 形式中的每一項一定要包含每個變數 正規形式 全或項之積 (原函數所剩餘 之各全及項的和) 2-* 例題2-4:全及項之和(每一全及項皆須包含所有變數) 推導: F = A+BC = A (B+B) + BC= AB +AB + BC = AB(C+C) + AB(C+C) + (A+A)BC =ABC+ABC+ABC+ABC+ABC 重組: F = ABC +ABC +ABC+ABC+ ABC = m1 + m4 +m5 + m6 + m7 表示式: F(A,B,C) = Σ(1, 4, 5, 6, 7) 法二:先建構真值表 正規形式 F(A,B,C) = Σ(1, 4, 5, 6, 7) 2-* 例題2-5:全或項之積 推導: F = xy + xz F = xy + xz = (xy + x) (xy +z) = (x+x)(y+x)(x+z)(y+z) = (x+y)(x+z)(y+z) x + y = x + y + zz = (x+y+z)(x+y+z) x + z = x + z + yy’ = (x + y + z)(x + y’ +z) y + z= y + z + xx’ =(x + y + z)(x’ + y + z) 重組: F = (x+y+z)(x+y+z)(x+y+z)(x+y+z) =M0M2M4M5 表示式: F(x,y,z) = P (0,2,4,5) 正規形式 (分配律) (分配律) 缺項 (OR的單位元素) (分配律) (OR的單位元素) 2-* 正規形式之間的轉換 F(A,B,C) = ∑ (1,4,5,6,7) F(A,B,C) = ∑ (0,2,3)=m0 + m2 + m3 由迪摩根定理 F(A,B,C) = (m0 + m2 + m3 )’=m0’m2’m3’ = M0M2M3 = Π (0,2,3) = ∑ (1,4,5,6,7) Summary: 補數關係: mj = Mj 全及項之和 ? 全或項之積 轉換程序: 運算符號 Σ 與 Π 互換並將原表示式中所缺的那些向列出即可 正規形式 原函數所剩餘 之各全及項的和 2-* 範例 F = xy + x?z F(x, y, z) = S(1, 3