三燈游戲

三燈游戲的規(guī)則
請(qǐng)?jiān)谙率銮闆r時(shí)按下按鈕：

• 綠燈、黃燈、紅燈都滅
  
• 黃燈滅，紅燈亮
  
• 綠燈滅，黃燈亮
  
• 綠燈、黃燈、紅燈都亮
  

現(xiàn)在燈泡有綠色、黃色、紅色三種（圖2-31）。
這回光靠腦袋想可不行了。還是使用卡諾圖看看吧（圖2-32）。假設(shè)有以下命題：

• 命題A    綠燈亮
  
• 命題B    黃燈亮
  
• 命題C    紅燈亮
  

畫出A、B、C的true/false所有組合的表，在“應(yīng)該按下按鈕”之處打上勾。這次有三個(gè)命題，因此表的網(wǎng)格數(shù)變?yōu)?3=8個(gè)。
注意一下B和C的false/true分界是錯(cuò)位的。正是這個(gè)“錯(cuò)位”，使得用8個(gè)網(wǎng)格就能表示所有情況。
打上勾后，就像前面那樣盡可能用大的框進(jìn)行分組（圖2-33）。
將所有打鉤處都框起來(lái)后，我們來(lái)看看表示各個(gè)組合框的邏輯表達(dá)式吧。
橫向的組合框，就是A為ifalse的區(qū)域，因此用￢A和C的邏輯或來(lái)表示，即

（￢A）∨C

三燈游戲的規(guī)則看起來(lái)相當(dāng)復(fù)雜，然而通過(guò)使用卡諾圖，居然能夠大幅簡(jiǎn)化它的表現(xiàn)形式。不可思議吧！

最后得到的邏輯表達(dá)式為（￢A）∨C，表明在三燈游戲中，當(dāng)“綠燈滅（￢A）”或者“紅燈亮（C）”的時(shí)候可以按下按鈕。
在這個(gè)邏輯表達(dá)式中沒有出現(xiàn)B。由此我們可知，在判斷是否按下按鈕時(shí)，不需要看黃燈?？ㄖZ圖通常用于簡(jiǎn)化邏輯表達(dá)式、設(shè)計(jì)邏輯電路等。