- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
第二章 布林函數和邏輯閘(Boolean Function and Logic Gate) 2-2. 布林代數的公理與定義 (Axiom and Definition of Boolean algebra) 二值布林代數 (two-valued Boolean algebra) * 第二章 布林函數和邏輯閘 2-2. 布林代數的公理與定義 * 1854年由喬治布林(George Boole) 所提出。 1938年,C. E. Shannon提出一種二值的布林代數(two-valued Boolean algebra)以便去表示雙態的交換電路(two-stated switching circuit)之狀態,此二值布林代數也被稱為交換代數(switching algebra)。 布林代數的起源: 二值布林代數是定義在集合B裡面的一種代數(此集 合B包含0 和 1兩個數值(即B={0, 1}))以及+ 和.兩個 二元運算子,並且必須滿足Huntington的假說。 ’.’運算子一般被稱為「 AND運算子」或「和運算 子」;’ +’運算子一般被稱為「 OR運算子」或是 「或運算子」。 真值表用來描述一個布林函數的所有輸入與輸出之間的 關係。 布林代數的真值表(truth table) AND運算 OR運算 布林代數定義: 1.(a) 運算子 + 具有封閉性。 (b) 運算子.具有封閉性。 由上面兩個真值表可以看出,經過AND運算及OR運算後的結果仍然屬於集合B裡面的元素,故此兩個運算子對於集合B而言具有封閉性。 布林代數定義: 2. (a) 運算子 + 具有單位元素 0。 (b) 運算子.具有單位元素 1。 假設x為集合B={0, 1}裡面的元素,由OR運算的真值表可 以看出,如果x =0,則0+0=0;如果x =1,則1+0=1 ,意味 ,故0為OR運算子的單位元素 。 假設x為集合B={0, 1}裡面的元素,由AND運算的真值表可 以看出,如果x =0,則0.1=0;如果x =1,則1.1=1 ,意味 ,故1為AND運算子的單位元素 。 布林代數定義: 3.(a) 運算子 + 具有交換律: 。 (b) 運算子.具有交換律: 。 由上面兩個真值表可以看出,如果將x與y的值對調,則經過AND與OR運算後所得結果能仍然相同,故AND與OR運算子皆符合交換律。 布林代數定義: 4. (a).對於 + 而言具有分配率: 。 (b) + 對於.而言具有分配率: 。 利用真值表,可證明4(a)與4(b)的方程式成立,故. 與 + 分別對於對方而言都具有分配率。 布林代數定義:補數(complement) 5.對於任何元素 ,我們能夠找到另外一個元素 , 此元素亦屬於集合B,使得下列兩個條件能夠成立: (a) 以及(b) 。則此元素 被稱為x的 補數。 我們可以發現,0為1的補數;且 1亦為0的補數。 補數運算為藉由布林代數的定義 所獲得的第三個運算子,又稱為 NOT運算子,其真值表列於右 邊。 NOT運算子 布林代數定義: 6. 集合B 至少需包含兩個元素。 由二值布林代數的定義可知,在集合B裡面共包含0 和 1兩個數值,即B={0, 1} ,故符合此點之要求。 對偶定理(Dual theorem) 對於任何布林代數的假說,即使將運算子和單位元素交換(即 + 和.交換以及0和1交換),此假說依然成立。 例: 對於假說2(a): ,如果將 + 改成.,0改成1,我們將可獲得假說2(b): ,因此2(a)與2(b)符合所謂的對偶性質。 布林代數的基本定理(Basic theorem of Boolean algebra) 布林代數的基本定理 定理1(a)證明: x + x = x 假說: 2(b) 假說: 5(a) 假說: 4(b) 假說: 5(b) 假說: 2(a) 定理1(b)證明: x.x = x 因定理1(a)與定理1(b)互為對偶,故其證明步驟也呈 現出對偶關係。 假說: 2(a) 假說: 5(b) 假說: 4(a) 假說: 5(a) 假說: 2(b) 布林代數的基本定理 定理2(a)證明:
文档评论(0)