SEARCH MATHEMATICA 8 DOCUMENTATION

THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT.
SEE THE DOCUMENTATION CENTER FOR THE LATEST INFORMATION.

Mathematica > Mathematics and Algorithms > Discrete Mathematics > Boolean Computation >

Mathematica > Mathematics and Algorithms > Logic & Boolean Algebra > Boolean Computation >

Built-in Mathematica Symbol

BooleanVariables

BooleanVariables[expr]
gives a list of the Boolean variables in the Boolean expression expr.

BooleanVariables[bf]
gives the number of Boolean variables in the BooleanFunction object bf.

In BooleanVariables[expr], the expression expr can involve any combination of Boolean functions such as And, Or, Not, as well as BooleanFunction and related functions.

In BooleanVariables[bf], the expression bf must be a single BooleanFunction object.

Find the variables in a Boolean expression:

Find the number of variables for a pure BooleanFunction object:

Find the variables in a Boolean expression:

Find the number of variables for a pure BooleanFunction object:

Find the Boolean variables in a Boolean expression:

Programmatically get the number of arguments to a pure Boolean function:

BooleanVariables is by default used as the list of variables for BooleanTable:

Anything that is not explicitly constructed using Boolean primitives and functions is variable: