 |
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 
, 
, ... .
Details
- 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
New in 9
