开发者 bfmp.sf.net

布尔函数最小化程序 （BFMP） 是一个与平台无关的程序，以 Perl 编写。它基于 Quine-McCluskey 表格方法，以最大限度地减少布尔函数。它支持多个输出系统，可以处理 26 个变量最小值。