二燈游戲

在圖2-30中，用虛線的矩形來框選打鉤格。

將所有的打鉤格圍起來后，我們就來思考一下表示各個組合框的邏輯表達式（圖2-30)。
橫向的組合框，就是A為false的區(qū)域，因此用￢A來表示。
縱向的組合框，就是B為true的區(qū)域，因此用B來表示。
由此可以推出，所有打鉤格所在區(qū)域即為￢A和B的邏輯或，表示為（￢A）∨B
也說明，在玩二燈游戲時觀察燈泡亮滅，當“綠燈滅（￢A)”或者“黃燈亮（B)”的時候就可以按下按鈕。
通過畫卡諾圖，我們得知（（￢A)∧B)∨((￢A)∧(￢B))∨(A∧B)和（￢A）∨B是相等的。我們利用卡諾圖簡化了邏輯表達式，這非常方便吧。