# 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 ai corresponding to the Boolean function specified by spec.

BooleanFunction[spec,{a1,a2,},form]

gives the Boolean expression in the form specified by form.

# Examples

open allclose all

## Basic Examples(3)

Generate the 30 Boolean function of 3 variables:

 In[1]:=
 Out[1]=

Use f like any other Boolean operator:

 In[2]:=
 Out[2]=

Convert to a DNF expression:

 In[3]:=
 Out[3]=

Generate the formula directly:

 In[4]:=
 Out[4]=

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

 In[1]:=
 Out[1]=

Use an incompletely specified truth table:

 In[2]:=
 Out[2]=

Convert a Boolean expression to a BooleanFunction:

 In[1]:=
 Out[1]=

Test that they represent the same function:

 In[2]:=
 Out[2]=