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

【问题标题】：How to simplify an arbitrary boolean expression?如何简化任意布尔表达式？
【发布时间】：2013-06-30 12:29:29
【问题描述】：

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

例如：

!(!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 是如何做到的？

【问题讨论】：

标签： logic boolean-expression