BUILT-IN MATHEMATICA SYMBOL

# UnateQ

UnateQ[bexpr, {x1, x2, ...}]
tests whether the Boolean expression bexpr is positive unate in the variables , , ... .

UnateQ[bexpr, {¬x1, ¬x2, ...}]
tests whether the Boolean expression bexpr is negative unate in the variables , , ... .

## DetailsDetails

• A positive unate Boolean function is also known as a Boolean increasing function.
• A negative unate Boolean function is also known as a Boolean decreasing function.
• The Boolean expression bexpr is positive unate in the variable if Boole[bexpr/.xi->False]≤Boole[bexpr/.xi->True] for all values of other variables.
• The Boolean expression bexpr is negative unate in the variable if Boole[bexpr/.xi->False]≥Boole[bexpr/.xi->True] for all values of other variables.
• Any combination of variables and their negation can be used.
• UnateQ[bf, {ind1, ind2, ...}] tests whether the Boolean function bf is unate in variable k according to the indicator .
• The indicators can take the following values:
•  True,1 test for positive unate False,0 test for negative unate _ do not test for unateness

## ExamplesExamplesopen allclose all

### Basic Examples (2)Basic Examples (2)

Test if a Boolean expression is positive unate:

 Out[2]=
 Out[3]=

Test if a Boolean expression is negative unate:

 Out[1]=
 Out[2]=