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

ExamplesExamplesopen allclose all

Basic Examples  (2)Basic Examples  (2)

Test if a Boolean expression is positive unate:

In[2]:=
Click for copyable input
Out[2]=
In[3]:=
Click for copyable input
Out[3]=

Test if a Boolean expression is negative unate:

In[1]:=
Click for copyable input
Out[1]=
In[2]:=
Click for copyable input
Out[2]=
Introduced in 2012
(9.0)
Translate this page: