ch02邏輯代數(shù)與硬件描述語言基礎(chǔ)-lvaqppt課件

1、2 2 邏邏輯輯變變量量邏邏輯輯代代數(shù)數(shù) 基基本本定定律律和和定定理理邏邏輯輯函函數(shù)數(shù)及及其其化化簡簡2.1 邏輯代數(shù)邏輯代數(shù)2.1.1 邏輯代數(shù)的根本定律和恒等式邏輯代數(shù)的根本定律和恒等式基 本 定 律00011110AAAAAAAAAAAA AAAAA A 0-10-1律：律：()()()()A BCAB CABCABC結(jié)合律：結(jié)合律： A BB AABBA交換律：交換律： 分配律：分配律： 真值表證明法：例：證明例：證明ABA BABA B，011 = 001+1=00 01 1110 = 101+0=00 11 0101 = 100+1=01 00 1100 = 110+0=11 10

2、 0A+BA+BA B A BABA B011 = 001+1=00 01 1110 = 101+0=00 11 0101 = 100+1=01 00 1100 = 110+0=11 10 0A+BA+BA B A BABA B真值表證明法：例：證明例：證明ABA BABA B，(1)(2)()AA BAAABA吸收律：吸收律： (3)(4) () ()AA BABABACABC(1) ABACBCABAC常用恒等式：常用恒等式：(2) ABACBCDABAC(1)(2)()AA BAAABA吸收律：吸收律： (3)(4) () ()AA BABABACABC證：證：(1)(1)1AA BAB

3、AA (2)()AABAABA(3)()()AABAA ABAB(4) () ()ABACAACABBCAABBCABCBCAABCCAABBCAACAAB)()1 ()1 (BCACABCAAB (1) ABACBCABAC常用恒等式：常用恒等式：(2) ABACBCDABAC證：證：(1) ABACBC2同理可證同理可證例：知 ，用函數(shù)L=E+F替代等式中的A，根據(jù)代入規(guī)那么，等式依然成立，即有：2.1.2 2.1.2 邏輯代數(shù)運(yùn)算的根本規(guī)那么邏輯代數(shù)運(yùn)算的根本規(guī)那么1.代入規(guī)那么：任何一個(gè)含有變量代入規(guī)那么：任何一個(gè)含有變量A的等式，假設(shè)將一切出的等式，假設(shè)將一切出現(xiàn)現(xiàn)A的位置都用同一個(gè)

4、邏輯函數(shù)替代，那么等式依然成立。這的位置都用同一個(gè)邏輯函數(shù)替代，那么等式依然成立。這個(gè)規(guī)那么稱為代入規(guī)那么。個(gè)規(guī)那么稱為代入規(guī)那么。BAAB()EF BEFBE FB2.1.2 2.1.2 邏輯代數(shù)運(yùn)算的根本規(guī)那么邏輯代數(shù)運(yùn)算的根本規(guī)那么2.反演規(guī)那么:(用于求一個(gè)函數(shù)的非函數(shù)) 原變量改為反變量，反變量改為原變量； 0 1 1 0 + + 運(yùn)算優(yōu)先順序不變，反變量以外的非號(hào)堅(jiān)持不變。例如：EDCBAYEDCBAY3.3.對(duì)偶規(guī)那么：用于公式擴(kuò)展對(duì)偶規(guī)那么：用于公式擴(kuò)展 0 1 1 0 0 1 1 0； + + + + ；運(yùn)算優(yōu)先順序不變。運(yùn)算優(yōu)先順序不變。 例：例：2.1.2 2.1.2 邏

5、輯代數(shù)運(yùn)算的根本規(guī)那么邏輯代數(shù)運(yùn)算的根本規(guī)那么ACBALACBALBABAAABBAA一個(gè)恒等式成立，那么該恒等式兩側(cè)的對(duì)偶式也相等。一個(gè)恒等式成立，那么該恒等式兩側(cè)的對(duì)偶式也相等。2.1.3 2.1.3 邏輯函數(shù)的代數(shù)化簡法邏輯函數(shù)的代數(shù)化簡法L = AC+CD達(dá)例例： 與與或或表表式式= AC+CD= AC CD達(dá)與與非非與與非非表表式式G = (A+C)(C+D)達(dá) 或或與與表表式式= (A + C )(C + D )= A+C+C+D達(dá) 或或非非或或非非表表式式= AC+CD達(dá)與與或或非非表表式式一個(gè)邏輯函數(shù)可以有不同的表達(dá)方式：一個(gè)邏輯函數(shù)可以有不同的表達(dá)方式：最簡與或式最簡與或式乘

6、積項(xiàng)的項(xiàng)數(shù)最少。乘積項(xiàng)的項(xiàng)數(shù)最少。每個(gè)乘積項(xiàng)中變量個(gè)數(shù)最少。每個(gè)乘積項(xiàng)中變量個(gè)數(shù)最少。1.1.邏輯函數(shù)的最簡與或表達(dá)式邏輯函數(shù)的最簡與或表達(dá)式 并項(xiàng)法：利用互補(bǔ)律 ，將兩項(xiàng)并為一項(xiàng)，消去一個(gè)變量。 1AA, ,A()()L A B CBCBCA BCBC例：1AABB AA配項(xiàng)法：由于配項(xiàng)法：由于 ，所以利用，所以利用 添加必要的與項(xiàng)，再用其他化簡方法添加必要的與項(xiàng)，再用其他化簡方法使項(xiàng)數(shù)減少。使項(xiàng)數(shù)減少。LACADCD 吸收法：利用吸收律吸收法：利用吸收律 吸收多余項(xiàng)。吸收多余項(xiàng)。 LABABCABCD EFAABAAABAB 消去法：利用吸收律消去法：利用吸收律 消去多余的因子。消去多余的

7、因子。LABACBC2.2.邏輯函數(shù)的化簡方法目的是得到最簡與或表達(dá)式邏輯函數(shù)的化簡方法目的是得到最簡與或表達(dá)式 綜合運(yùn)用法：根據(jù)邏輯表達(dá)式的特點(diǎn)，混合運(yùn)用前面的綜合運(yùn)用法：根據(jù)邏輯表達(dá)式的特點(diǎn)，混合運(yùn)用前面的各種方法。各種方法。 CDDACABCCAL2.2.邏輯函數(shù)的化簡方法目的是得到最簡與或表達(dá)式邏輯函數(shù)的化簡方法目的是得到最簡與或表達(dá)式 并項(xiàng)法：利用互補(bǔ)律并項(xiàng)法：利用互補(bǔ)律 ，將兩項(xiàng)并為一項(xiàng)，消去一個(gè)變量。，將兩項(xiàng)并為一項(xiàng)，消去一個(gè)變量。 1AA, ,A()()L A B CBCBCA BCBC例：AABCBCABCABCAB CCAB CCA BBA1AABB AA配項(xiàng)法：由于配項(xiàng)法

8、：由于 ，所以利用，所以利用 添加必要的與項(xiàng)，再用其他化簡方法添加必要的與項(xiàng)，再用其他化簡方法使項(xiàng)數(shù)減少。使項(xiàng)數(shù)減少。LACADCDACAD CCCDACACDACDCDACCD 吸收法：利用吸收律吸收法：利用吸收律 吸收多余項(xiàng)。吸收多余項(xiàng)。 BAFEBCDABCABALAABAAABAB 消去法：利用吸收律消去法：利用吸收律 消去多余的因子。消去多余的因子。LABACBCABAB CABABCABC 綜合運(yùn)用法：根據(jù)邏輯表達(dá)式的特點(diǎn)，混合運(yùn)用前面綜合運(yùn)用法：根據(jù)邏輯表達(dá)式的特點(diǎn)，混合運(yùn)用前面的各種方法。的各種方法。 CDDACABCCALDDACBCCADACBCAACABACCDCDABA

9、CDA 消去法吸收律并項(xiàng)法互補(bǔ)律A CCABCD吸收法吸收律 綜合運(yùn)用法：根據(jù)邏輯表達(dá)式的特點(diǎn)，混合運(yùn)用前面綜合運(yùn)用法：根據(jù)邏輯表達(dá)式的特點(diǎn)，混合運(yùn)用前面的各種方法。的各種方法。 CDDACABCCALDDACBCCADACBCAACABACCDCDABACDA 消去法吸收律并項(xiàng)法互補(bǔ)律A CCABCD吸收法吸收律 2.2 邏輯函數(shù)的卡諾圖化簡法邏輯函數(shù)的卡諾圖化簡法2.2.1 最小項(xiàng)的定義及其性質(zhì)最小項(xiàng)的定義及其性質(zhì)1.1.最小項(xiàng)的含義最小項(xiàng)的含義n n個(gè)變量個(gè)變量(X1, X2, , Xn)(X1, X2, , Xn)的最小項(xiàng)就是的最小項(xiàng)就是n n個(gè)因子的乘積，在個(gè)因子的乘積，在該乘積中每

10、個(gè)變量都以它的原變量或非變量的方式出現(xiàn)一次，該乘積中每個(gè)變量都以它的原變量或非變量的方式出現(xiàn)一次，且僅出現(xiàn)一次。且僅出現(xiàn)一次。CBACBACBABCACBACBACABABC例如：三變量邏輯函數(shù)： 共238個(gè) f (A,B,C)最小項(xiàng)有：ABCAAB()A BC2.2.最小項(xiàng)的性質(zhì)最小項(xiàng)的性質(zhì) 對(duì)于恣意一個(gè)最小項(xiàng)，只需一組變量取值使它的取值為對(duì)于恣意一個(gè)最小項(xiàng)，只需一組變量取值使它的取值為1 1，而在變量，而在變量取其他值時(shí)，這個(gè)最小項(xiàng)的值都為取其他值時(shí)，這個(gè)最小項(xiàng)的值都為0 0； n n個(gè)變量有個(gè)變量有2n2n個(gè)最小項(xiàng)；個(gè)最小項(xiàng)； 不同的最小項(xiàng)，使它的值為不同的最小項(xiàng)，使它的值為1 1的那一

11、組變量取值也不同；的那一組變量取值也不同； 對(duì)于輸入變量的任一組取值，任何兩最小項(xiàng)之對(duì)于輸入變量的任一組取值，任何兩最小項(xiàng)之積積為為00； 對(duì)于輸入變量的任一組取值，一切最小項(xiàng)之對(duì)于輸入變量的任一組取值，一切最小項(xiàng)之和和為為11；3.3.最小項(xiàng)的編號(hào)最小項(xiàng)的編號(hào)046( , ,)L A B CmmmABCABCABC例：例：2.2.2 邏輯函數(shù)的最小項(xiàng)表達(dá)式1.1.定義：把恣意邏輯函數(shù)化成一組最小項(xiàng)之和，稱邏輯函定義：把恣意邏輯函數(shù)化成一組最小項(xiàng)之和，稱邏輯函數(shù)的最小項(xiàng)表達(dá)式數(shù)的最小項(xiàng)表達(dá)式( (一個(gè)邏輯函數(shù)的最小項(xiàng)表達(dá)式是獨(dú)一一個(gè)邏輯函數(shù)的最小項(xiàng)表達(dá)式是獨(dú)一的的) )。 2.2.邏輯函數(shù)最小

12、項(xiàng)表達(dá)式的求法：邏輯函數(shù)最小項(xiàng)表達(dá)式的求法： 知邏輯函數(shù)的表達(dá)式，求最小項(xiàng)表達(dá)式；知邏輯函數(shù)的表達(dá)式，求最小項(xiàng)表達(dá)式；1, ,L A B CAC例：A BBCCC AABBABCABCABCABCABCABCABCABC7654311,3,4 5 6 7mmmmmmm ， ， ， 知真值表，求最小項(xiàng)表達(dá)式知真值表，求最小項(xiàng)表達(dá)式 ABCL00000011010001111000101111011111, ,1,3,5 7L A B Cm ABCL0000001101000111100110111011116 , 57 , 4 , 3 , 1,DmCBAL無關(guān)項(xiàng)無關(guān)項(xiàng)2.2.3 用卡諾圖化簡邏輯

13、函數(shù)1. 相鄰最小項(xiàng)相鄰最小項(xiàng) 假設(shè)兩個(gè)最小項(xiàng)中只需一個(gè)變量互為反變量，其他變假設(shè)兩個(gè)最小項(xiàng)中只需一個(gè)變量互為反變量，其他變量均一樣，那么稱這兩個(gè)最小項(xiàng)為邏輯相鄰，簡稱相鄰項(xiàng)。量均一樣，那么稱這兩個(gè)最小項(xiàng)為邏輯相鄰，簡稱相鄰項(xiàng)。 假設(shè)兩個(gè)相鄰最小項(xiàng)出如今同一個(gè)邏輯函數(shù)中，可以合假設(shè)兩個(gè)相鄰最小項(xiàng)出如今同一個(gè)邏輯函數(shù)中，可以合并為一項(xiàng)，同時(shí)消去互為反變量的那個(gè)量。并為一項(xiàng)，同時(shí)消去互為反變量的那個(gè)量。如最小項(xiàng)如最小項(xiàng)ABC 和和 就是相鄰最小項(xiàng)。就是相鄰最小項(xiàng)。CBAACBBACCBAABC )(如：如：m0m1m3m2m4m5m7m6CBACBABCACBACBACBAABCCAB 2 .卡諾

14、圖卡諾圖 一個(gè)小方格代表一個(gè)最小項(xiàng)，然后將這些最小項(xiàng)按照相一個(gè)小方格代表一個(gè)最小項(xiàng)，然后將這些最小項(xiàng)按照相鄰性陳列起來。即用小方格幾何位置上的相鄰性來表示最鄰性陳列起來。即用小方格幾何位置上的相鄰性來表示最小項(xiàng)邏輯上的相鄰性。小項(xiàng)邏輯上的相鄰性。 3卡諾圖的構(gòu)造卡諾圖的構(gòu)造3三變量卡諾圖三變量卡諾圖 2二變量卡諾圖BABABAABm0m1m3m2m4m5m7m6CBACBABCACBACBACBAABCCABm0m2m3m1 AB 00 01 11 10 Lm4m0m6m7m5m3m1m2 BC 00 01 11 10 A 01 L1一變量卡諾圖AAm0m1 A 0 1 L4四變量卡諾圖四變量

15、卡諾圖 卡諾圖具有很強(qiáng)卡諾圖具有很強(qiáng)的相鄰性：的相鄰性：1直觀相鄰性，直觀相鄰性，只需小方格在幾何只需小方格在幾何位置上相鄰不論位置上相鄰不論上下左右，它代上下左右，它代表的最小項(xiàng)在邏輯表的最小項(xiàng)在邏輯上一定是相鄰的。上一定是相鄰的。2對(duì)邊相鄰性，對(duì)邊相鄰性，即與中心軸對(duì)稱的即與中心軸對(duì)稱的左右兩邊和上下兩左右兩邊和上下兩邊的小方格也具有邊的小方格也具有相鄰性。相鄰性。 m0m1m3m2m4m5m7m6m12m13m15m14m8m9m11m10DCBADCBACDBADCBADCBADCBABCDADBCADCABDCABABCDDABCDCBADCBACDBADCBA CD 00 01 1

16、1 10 AB 00 01 11 10 L4. 用卡諾圖表示邏輯函數(shù)用卡諾圖表示邏輯函數(shù) 1) 從真值表到卡諾圖例1 知某邏輯函數(shù)的真值表，用卡諾圖表示該邏輯函數(shù)。解：解： 該函數(shù)為三變量，先畫出三變量卡諾圖，然后根據(jù)真值表將該函數(shù)為三變量，先畫出三變量卡諾圖，然后根據(jù)真值表將8個(gè)個(gè)最小項(xiàng)最小項(xiàng)L的取值的取值0或者或者1填入卡諾圖中對(duì)應(yīng)的填入卡諾圖中對(duì)應(yīng)的8個(gè)小方格中即可。個(gè)小方格中即可。0 0 00 0 10 1 00 1 11 0 01 0 11 1 01 1 1A B C00010111L 真值表真值表11110000ABC0000111110 LB2) 2) 從邏輯表達(dá)式到卡諾圖從邏輯

17、表達(dá)式到卡諾圖2如不是最小項(xiàng)表達(dá)式，應(yīng)將其先化成最小項(xiàng)表達(dá)式，再填入卡諾圖。如不是最小項(xiàng)表達(dá)式，應(yīng)將其先化成最小項(xiàng)表達(dá)式，再填入卡諾圖。也可由也可由“與與或表達(dá)式直接填入或表達(dá)式直接填入1假設(shè)表達(dá)式為最小項(xiàng)表達(dá)式，那么可直接填入卡諾圖。假設(shè)表達(dá)式為最小項(xiàng)表達(dá)式，那么可直接填入卡諾圖。7630mmmmF 解：解：解：直接填入：解：直接填入：ABCCABBCACBAF 例例2 用卡諾圖表示邏輯函數(shù)用卡諾圖表示邏輯函數(shù):方法二：根據(jù)表達(dá)式直接填入方法二：根據(jù)表達(dá)式直接填入DCBBAG 例例3 用卡諾圖表示邏輯函數(shù)：用卡諾圖表示邏輯函數(shù)： A 01F BC 00 01 11 1011110000111

18、1110000000000 00 01 11 1000 01 11 10 GABCD方法一：根據(jù)最小項(xiàng)表達(dá)式填入方法一：根據(jù)最小項(xiàng)表達(dá)式填入B2.2.4 用卡諾圖化簡邏輯函數(shù) 1化簡的根據(jù)化簡的根據(jù) :12個(gè)相鄰的最小項(xiàng)可以合并，消去個(gè)相鄰的最小項(xiàng)可以合并，消去1個(gè)取值不同的個(gè)取值不同的變量。變量。24個(gè)相鄰的最小項(xiàng)可以合并，消去個(gè)相鄰的最小項(xiàng)可以合并，消去2個(gè)取值不同的變量。個(gè)取值不同的變量。11CBA11ABD111DCBDBA1111BC11DC11DB G 00 01 11 1000 01 11 10ABCD G 00 01 11 1000 01 11 10ABCD38個(gè)相鄰的最小項(xiàng)可

19、以合并，消去個(gè)相鄰的最小項(xiàng)可以合并，消去3個(gè)取值不同的變量。個(gè)取值不同的變量?？傊?，總之，2n個(gè)相鄰的最小項(xiàng)可以合并，消去個(gè)相鄰的最小項(xiàng)可以合并，消去n個(gè)取值不同的個(gè)取值不同的變量。變量。11111111C1111B G 00 01 11 1000 01 11 10ABCD2用卡諾圖合并最小項(xiàng)的原那么畫圈的原那么用卡諾圖合并最小項(xiàng)的原那么畫圈的原那么 1盡量畫大圈，但每個(gè)圈內(nèi)只能含有盡量畫大圈，但每個(gè)圈內(nèi)只能含有2nn=0,1,2,3個(gè)相鄰項(xiàng)。要特別留意對(duì)邊相鄰性和四角相鄰性。個(gè)相鄰項(xiàng)。要特別留意對(duì)邊相鄰性和四角相鄰性。2圈的個(gè)數(shù)盡量少。圈的個(gè)數(shù)盡量少。3卡諾圖中一切取值為卡諾圖中一切取值為“

20、1的方格均要被圈過，即不能漏下的方格均要被圈過，即不能漏下取值為取值為“1的最小項(xiàng)。的最小項(xiàng)。4在新畫的包圍圈中至少要含有在新畫的包圍圈中至少要含有“1個(gè)末被圈過的個(gè)末被圈過的“1方格，方格，否那么該包圍圈是多余的。否那么該包圍圈是多余的。5假設(shè)含無關(guān)項(xiàng)，無關(guān)項(xiàng)的取值可假設(shè)含無關(guān)項(xiàng)，無關(guān)項(xiàng)的取值可“0可可“1，視詳細(xì)情況，視詳細(xì)情況靈敏處置。靈敏處置。 3用卡諾圖化簡邏輯函數(shù)的普通步驟：用卡諾圖化簡邏輯函數(shù)的普通步驟：1根據(jù)邏輯表達(dá)式畫卡洛圖，凡式中包含的最小根據(jù)邏輯表達(dá)式畫卡洛圖，凡式中包含的最小項(xiàng)，其對(duì)應(yīng)方格填項(xiàng)，其對(duì)應(yīng)方格填1，其他方格填，其他方格填0；2合并最小項(xiàng)合并最小項(xiàng)(畫圈畫圈)

21、；3寫最簡與或表達(dá)式；每一個(gè)圈寫一個(gè)最簡與項(xiàng)，寫最簡與或表達(dá)式；每一個(gè)圈寫一個(gè)最簡與項(xiàng)，取值為取值為1的變量用原變量表示，取值為的變量用原變量表示，取值為0的變的變量用反變量表示，將這些變量相與。然后將一切與項(xiàng)量用反變量表示，將這些變量相與。然后將一切與項(xiàng)進(jìn)展邏輯加，即得最簡與進(jìn)展邏輯加，即得最簡與或表達(dá)式?；虮磉_(dá)式。 例4 化簡邏輯函數(shù)：LA,B,C,D=m0,2,3,4,6,7,10,11,13,14,151由表達(dá)式畫出卡諾圖。由表達(dá)式畫出卡諾圖。2畫圈，合并最小項(xiàng)畫圈，合并最小項(xiàng)ABDDACL 1111111111100000CABDDA L 00 01 11 1000 01 11 10

22、ABCDB3寫最簡與寫最簡與或表達(dá)式或表達(dá)式:解：解：解：解：1由表達(dá)式畫出卡諾圖。由表達(dá)式畫出卡諾圖。留意：圖中的綠色圈留意：圖中的綠色圈是多余的，應(yīng)去掉是多余的，應(yīng)去掉 。例例5 用卡諾圖化簡邏輯函數(shù)：用卡諾圖化簡邏輯函數(shù)：DCBADCBADBAADF DBADF 2畫包圍圈合并最小項(xiàng)，畫包圍圈合并最小項(xiàng)，得簡化的與得簡化的與或表達(dá)式或表達(dá)式:1111111100000000 L 00 01 11 1000 01 11 10ABCD解：解：1由表達(dá)式畫出卡諾圖。由表達(dá)式畫出卡諾圖。留意：圖中的綠色圈留意：圖中的綠色圈是多余的，應(yīng)去掉是多余的，應(yīng)去掉 。例例5 用卡諾圖化簡邏輯函數(shù)：用卡諾圖

23、化簡邏輯函數(shù)：DCBADCBADBAADF DBADF 2畫包圍圈合并最小項(xiàng)，畫包圍圈合并最小項(xiàng)，得簡化的與得簡化的與或表達(dá)式或表達(dá)式:1111111100000000 L 00 01 11 1000 01 11 10ABCDB例6 知某邏輯函數(shù)的真值表，用卡諾圖化簡該函數(shù)。2畫包圍圈合并最小項(xiàng)。畫包圍圈合并最小項(xiàng)。有兩種畫圈的方法：有兩種畫圈的方法：解：解：1由真值表畫出卡諾圖。由真值表畫出卡諾圖。 由此可見，一個(gè)邏輯函數(shù)的真值表是獨(dú)一的，卡諾圖也是由此可見，一個(gè)邏輯函數(shù)的真值表是獨(dú)一的，卡諾圖也是獨(dú)一的，但化簡結(jié)果有時(shí)不是獨(dú)一的。獨(dú)一的，但化簡結(jié)果有時(shí)不是獨(dú)一的。 a：寫出表達(dá)式：寫出表達(dá)

24、式： CABACBL b：寫出表達(dá)式：寫出表達(dá)式：CACBBAL 0 0 00 0 10 1 00 1 11 0 01 0 11 1 01 1 1A B C01111110 L 真值表真值表10110111 A BC L01000111 1010110111 A BC L01000111 104卡諾圖化簡邏輯函數(shù)的另一種方法卡諾圖化簡邏輯函數(shù)的另一種方法圈圈0法法例例7 知邏輯函數(shù)的卡諾圖如圖示，分別用知邏輯函數(shù)的卡諾圖如圖示，分別用“圈圈1法和法和“圈圈0法法寫出其最簡與寫出其最簡與或式?；蚴健?用圈用圈0法，得：法，得： 解：解：1用圈用圈1法，得：法，得：DCBL DCBL 對(duì)對(duì)L取非得

25、：取非得： DCBDCBL L1101111011111111 00 01 11 1000 01 11 10ABCDL1101111011111111 00 01 11 1000 01 11 10ABCD六、具有無關(guān)項(xiàng)的邏輯函數(shù)的化簡六、具有無關(guān)項(xiàng)的邏輯函數(shù)的化簡 1無關(guān)項(xiàng)無關(guān)項(xiàng)在有些邏輯函數(shù)中，輸入變量的某些取值組合不會(huì)出在有些邏輯函數(shù)中，輸入變量的某些取值組合不會(huì)出現(xiàn)，或者一旦出現(xiàn)，邏輯值可以是恣意的。這樣的取值組合所對(duì)應(yīng)現(xiàn)，或者一旦出現(xiàn)，邏輯值可以是恣意的。這樣的取值組合所對(duì)應(yīng)的最小項(xiàng)稱為無關(guān)項(xiàng)、恣意項(xiàng)或約束項(xiàng)。的最小項(xiàng)稱為無關(guān)項(xiàng)、恣意項(xiàng)或約束項(xiàng)。解：設(shè)紅、綠、黃燈分別用解：設(shè)紅、綠、黃燈分別用A、B、C表示，且燈亮為表示，且燈亮為1，燈滅為，燈滅為0。 車用車用L表示，車行表示，車行L=1，車停，車停L=0。列出該函數(shù)的真值。列出該函數(shù)的真值。紅燈紅燈A綠燈綠燈B黃燈黃燈C車車L000001001010111000101110111 例8：在十字路口有紅綠黃三色交通訊號(hào)燈，規(guī)定紅燈亮停，綠