Logic 如何简化任意布尔表达式？

如何简化任意复杂的布尔表达式

例如：

!(!a && !b || !a && b || a && !b) && !(!a && !b || !a && b || a && !b) ||
!(!a && !b || !a && b || a && !b) && (!a && !b || !a && b || a && !b) ||
(!a && !b || !a && b || a && !b) && !(!a && !b || !a && b || a && !b)

这是一种极其冗长的说法：

a && b

我可以通过直观地使用布尔定律手动完成这项工作。是否有一种程序化的方法

---

Wolfram Alpha是怎么做到的？

这是简单的布尔代数

见：

---

这是简单的布尔代数

见：