プログラム bfmp.sf.net

ブール関数最小化プログラム (BFMP) は、Perl で記述されたプラットフォームに依存しないプログラムです。これは、ブール演算関数を最小化するために、Quine-McCluskey の表形式アプローチに基づいています。複数の出力システムをサポートし、26変数のmintermを処理できます。