Algos减少真值表生成的表达式，输入变量的数量大于6。
更通用的问题是:: Algos减少由具有输入变量数n的真值表生成的表达式：其中n> 6
答案 0 :(得分：0)
我在想，一旦你超过这些数量的输入，就没有好的方法可以解析它。你可能不得不依靠启发式方法。
你试过Espresso吗？根据我的经验，它非常有效，请看一下：http://en.wikipedia.org/wiki/Espresso_heuristic_logic_minimizer
虽然你可能能够在表达式上做一些布尔代数，但很可能很难用这么多变量来判断它是否是最简单的形式。