BooleanMinimize

BooleanMinimize(expr)

minimizes a boolean function with the Quine McCluskey algorithm

Examples

>> BooleanMinimize(x&&y||(!x)&&y)
y

>> BooleanMinimize((a&&!b)||(!a&&b)||(b&&!c)||(!b&&c))
a&&!b||!a&&c||b&&!c

Implementation status

• ✅ - full supported

Github

• Implementation of BooleanMinimize