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
Introduced in 2012
(9.0)