BUILT-IN MATHEMATICA SYMBOL

# BooleanFunction

BooleanFunction[k, n]
represents the k Boolean function in n variables.

BooleanFunction[values]
represents the Boolean function corresponding to the specified vector of truth values.

BooleanFunction[{{i11, i12, ...}->o1, ...}]
represents the Boolean function defined by the specified mapping from inputs to outputs.

BooleanFunction[spec, {a1, a2, ...}]
gives the Boolean expression in variables corresponding to the Boolean function specified by spec.

BooleanFunction[spec, {a1, a2, ...}, form]
gives the Boolean expression in the form specified by form.

## ExamplesExamplesopen allclose all

### Basic Examples (3)Basic Examples (3)

Generate the 30 Boolean function of 3 variables:

 Out[1]=

Use f like any other Boolean operator:

 Out[2]=

Convert to a DNF expression:

 Out[3]=

Generate the formula directly:

 Out[4]=

Specify a Boolean function based on a table of truth rules:

 Out[1]=

Use an incompletely specified truth table:

 Out[2]=

Convert a Boolean expression to a BooleanFunction:

 Out[1]=

Test that they represent the same function:

 Out[2]=