開發者 bfmp.sf.net

布爾函數最小化程式 （BFMP） 是一個與平台無關的程式，以 Perl 編寫。它基於 Quine-McCluskey 表格方法，以最大限度地減少布爾函數。它支援多個輸出系統，可以處理26個變數最小值。