奎因－麥克拉斯基算法

奎因 － 麥克拉斯基算法 （ Quine - McCluskey算法 ） 是最小化布爾函數的一種方法 。 它在功能上等同於卡諾圖 ， 但是它具有文字表格的形式 ， 因此它更適合用於電子設計自動化算法的實現 ， 並且它還給出了檢查布爾函數是否達到了最小化形式的確定性方法 。 方法涉及兩步 ： 找到這個函數的所有素蘊涵項 。 使用這些素蘊涵項 （ prime implicant ） 來找到這個函數的本質素蘊涵項 （ essential prime implicant ） ， 對覆蓋這個函數是必須的其他素蘊涵項也同樣要使用 。