boolean - 简化 boolean 表达式 i.t.o 变量出现

Question

如何简化具有多个变量(>10)的给定 boolean 表达式，以便最小化每个变量的出现次数？

在我的场景中，变量的值必须被认为是短暂的，也就是说，必须为每次访问重新计算(当然仍然是静态的)。因此，我需要尽量减少在尝试求解函数之前必须评估变量的次数。

考虑函数

f(A,B,C,D,E,F) = (ABC)+(ABCD)+(ABEF)

递归地使用分配和吸收定律提出

f'(A,B,C,E,F) = AB(C+(EF))

我现在想知道是否有一种算法或方法可以在最短的运行时间内解决这个任务。

在上面的例子中只使用 Quine-McCluskey 给出

f'(A,B,C,E,F) = (ABEF) + (ABC)

这对我来说不是最佳选择。假设先用 QM 化简，然后像上面那样用代数进一步化简是最优的，是否可以节省时间？

Answer 1

我通常使用Wolfram Alpha对于这种事情。