1、11.4 邏輯式與真值表邏輯代數(shù)初步第1頁，共15頁。什么是邏輯？ 事物的因果關(guān)系稱為邏輯什么是邏輯變量？ 邏輯代數(shù)中的變量稱為邏輯變量，一般用大寫字母A，B， C，L，表示什么是邏輯常量？ 0和1稱為邏輯常量 邏輯運(yùn)算有哪幾種？ 邏輯運(yùn)算分為或運(yùn)算、與運(yùn)算和非運(yùn)算三種溫故第2頁，共15頁。“或運(yùn)算”又稱“或邏輯”、“邏輯加”ABL 如圖所示的并聯(lián)電路中，燈L是否亮取決于開關(guān)A、B的狀態(tài)邏輯關(guān)系式：L=A+B011100011011ABL真值表000011101111或運(yùn)算的運(yùn)算規(guī)則有1出1,全0出0溫故什么是或運(yùn)算？ 決定事件發(fā)生的各條件中，至少有一個(gè)條件具備事件就會(huì)發(fā)生(成立)我們把這種因

2、果關(guān)系稱為或運(yùn)算第3頁，共15頁。“與運(yùn)算”又稱“與邏輯”、“邏輯乘” 如圖所示的串聯(lián)電路中，燈L是否亮取決于開關(guān)A、B的狀態(tài)邏輯關(guān)系式：LAB000100011011ABL真值表0 000 101 001 11與運(yùn)算的運(yùn)算規(guī)則ABLAB有0出0,全1出1溫故 決定事件發(fā)生的各條件中，所有條件都具備，事件才會(huì)發(fā)生(成立)我們把這種因果關(guān)系稱為與運(yùn)算什么是與運(yùn)算？第4頁，共15頁?！胺沁\(yùn)算”又稱“非邏輯”、“邏輯否定” 如圖所示的電路中，燈L是否亮取決于開關(guān)A的狀態(tài)真值表非運(yùn)算的運(yùn)算規(guī)則進(jìn)0出1,進(jìn)1出0ALR邏輯關(guān)系式：LA1001AL溫故什么是非運(yùn)算？ 決定事件發(fā)生的條件只有一個(gè)，條件不具備

3、時(shí)事件發(fā)生(成立)，條件具備時(shí)事件不發(fā)生我們把這種因果關(guān)系稱為非運(yùn)算第5頁，共15頁。寫出下列各式的運(yùn)算結(jié)果：解：先算“非”再算“與”后算“或”溫故有括號先算括號第6頁，共15頁。新知 “與”、“或”、“非”是三種基本的邏輯運(yùn)算，任何其它的邏輯運(yùn)算都可以以它們?yōu)榛A(chǔ)表示，其它的邏輯運(yùn)算是它們的復(fù)合運(yùn)算邏輯復(fù)合運(yùn)算邏輯代數(shù)式 由常量1,0以及邏輯變量經(jīng)邏輯運(yùn)算構(gòu)成的式子叫做邏輯代數(shù)式，簡稱邏輯式例如：單獨(dú)一個(gè)邏輯變量或邏輯常量也是邏輯式第7頁，共15頁。新知 將各邏輯變量取一組值代入邏輯式，經(jīng)過運(yùn)算，可以得到邏輯式的一個(gè)值邏輯式的真值表例如： 列出邏輯變量的一切可能取值與相應(yīng)的邏輯式的值的表，叫做邏輯式的真值表如果有3個(gè)邏輯變量呢？第8頁，共15頁。P018 練習(xí)嘗試第9頁，共15頁。新知 如果對于邏輯變量的任何一組取值，兩個(gè)邏輯式的值都相等，這樣的兩個(gè)邏輯式叫做等值邏輯式等值邏輯式用真值表驗(yàn)證等式 是否成立？解：列出真值表可以看出，對于邏輯變量的任何一組值，的值都相等，所以例如：第10頁，共15頁。例題用真值表驗(yàn)證等式 是否成立？解：列出真值表可以看出，對于邏輯變量的任何一組值，的值都相等，所以第11頁，共15頁。P020 練習(xí)嘗試第12頁，共15頁。例題 觀察如圖所示的電路，用邏輯變量A,B,C表示L，并列出真值表ACLBABLCABLRC解：L=A+B+CL=AB