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,1test for positive unate
    False,0test for negative unate
    _do not test for unateness
New in 9
New to Mathematica? Find your learning path »
Have a question? Ask support »