BooleanMinimize[expr] finds a minimal-length disjunctive normal form representation of expr.BooleanMinimize[expr, form] finds a minimal-length representation for expr in the ...

Mathematica represents Boolean expressions in symbolic form, so they can not only be evaluated, but also be symbolically manipulated and transformed. Incorporating ...

Building on its core symbolic architecture, Mathematica gives immediate access to the latest in industrial-strength Boolean computation. With highly general symbolic ...

Mathematica has been used to make many important discoveries in discrete mathematics over the past two decades. Its integration of highly efficient and often original ...

BooleanConvert[expr] converts the Boolean expression expr to disjunctive normal form.BooleanConvert[expr, form] converts the Boolean expression expr to the specified ...

Mathematica 7 represents another major achievement in Mathematica's long history of innovation in mathematics and algorithms. Building on the broad capabilities of ...

BooleanMaxterms[k, n] represents the k\[Null]^th maxterm in n variables.BooleanMaxterms[{k_1, k_2, ...}, n] represents the conjunction of the maxterms ...

BooleanMinterms[k, n] represents the k\[Null]\[Null]^th minterm in n variables.BooleanMinterms[{k_1, k_2, ...}, n] represents the disjunction of the minterms ...

TautologyQ[bf] gives True if all combinations of values of variables make the Boolean function bf yield True.TautologyQ[expr, {a_1, a_2, ...}] gives True if all combinations ...

The release of Mathematica 6 in May 2007 represented a revolution in the development of Mathematica. Building on this revolution, Mathematica 7 not only greatly broadens and ...