Mar 1, 2011

[小筆記] Quine-McCluskey演算法

Quine-McCluskey 演算法是最小化布爾函數的一種方法。它在功能上等同於卡諾圖,但是它的表格形式使它更有效的用做計算機演算法,並且它還給出了檢查布爾函數是否達到了最小化形式的確定性方法。

方法涉及兩步:
  1. 找到這個函數的所有素蘊涵項
  2. 使用這些素蘊涵項(implicant)來找到這個函數的本質素蘊涵項,對覆蓋這個函數是必須的其他素蘊涵項也同樣要使用。