Enable JavaScript to interact with content and submit forms on Wolfram websites. Learn how

Legacy Documentation

Mathematica 8 (2010)

This is documentation for Mathematica 8, which was
based on an earlier version of Wolfram Language.

BUILT-IN MATHEMATICA SYMBOL

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.

BooleanVariables [expr] gives a list of variables in the order returned by Sort .

(2)

Find the variables in a Boolean expression:

Find the number of variables for a pure BooleanFunction object:

Find the variables in a Boolean expression:

Out[1]=

Find the number of variables for a pure BooleanFunction object:

Out[1]=

(2)

Find the Boolean variables in a Boolean expression:

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

(2)

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

(1)

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

New in 7