关闭。这个问题不满足Stack Overflow guidelines .它目前不接受答案。
想改善这个问题吗？更新问题，使其成为 on-topic对于堆栈溢出。
3年前关闭。
Improve this question
我正在寻找一种重构 bool 表达式的工具。我有这样的表达
a1 => (b1 <=> c or d) AND
a2 => (b2 <=> c or d) AND
a2 => (b2 <=> c or d)
该工具应该能够简化表达式，例如提取上例中的子表达式“c or d”。有没有免费的计算机代数系统可以做到这一点？
目前我想到手动重构表达式，用一个小haskell快速检查脚本来证明等价。
最佳答案
我不确定是否有工具，但请查看 Boolean Algebra
您可以绘制所有输入和输出的网格来尝试找到最小的 bool 表达式
关于refactoring - 重构 bool 表达式的工具，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/767437/