BooleanMinimize

Available

Find the minimal sum-of-products Boolean expression.

Forms

BooleanMinimize[expr]

BooleanMinimize[expr, form]

BooleanMinimize[expr, form, cond]

Verified examplesBooleanMinimize[True] → True BooleanMinimize[(a && b) || (!a && !b)] → (a && b) || ( !a && !b)BooleanMinimize[(a && b) || (b && c) || (a && c)] → (a && b) || (a && c) || (b && c)BooleanMinimize[Xor[a, b, c]] → (a && b && c) || (a && !b && !c) || ( !a && b && !c) || ( !a && !b && c)

Run this on Qurak Search the reference

Topics

Algebraic Transformations - Logical & Boolean Operations »
Boolean Computation - Conversion & Minimization
Discrete Mathematics - Boolean Computation »
Logic And Boolean Algebra - Boolean Computation »
New In70 Alphabetical Listing - B
New In70 Mathematics And Algorithms - Boolean Computation »

Related

BooleanConvert FullSimplify BooleanCountingFunction BooleanFunction SatisfiableQ BooleanMaxterms BooleanMinterms BooleanTable And BSplineBasis BSplineCurve BSplineFunction

All 6300 functions · Use this from an MCP client