This is documentation for Mathematica 8, which was
based on an earlier version of the Wolfram Language.
View current documentation (Version 11.2)

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.
Find the variables in a Boolean expression:
Find the number of variables for a pure BooleanFunction object:
Find the variables in a Boolean expression:
In[1]:=
Click for copyable input
Out[1]=
 
Find the number of variables for a pure BooleanFunction object:
In[1]:=
Click for copyable input
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:
Use BooleanVariables to get a variable list for SatisfiabilityInstances:
Anything that is not explicitly constructed using Boolean primitives and functions is variable:
New in 7