refactoring - 重构 bool 表达式的工具

Question

关闭。这个问题不满足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快速检查脚本来证明等价。

Answer 1

我不确定是否有工具，但请查看 Boolean Algebra

您可以绘制所有输入和输出的网格来尝试找到最小的 bool 表达式