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:

Out[1]=

Find the number of variables for a pure BooleanFunction object:

Out[1]=

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: