Test if a Boolean expression is positive unate:

Test if a Boolean expression is negative unate:

Test for positive unateness:

Negative unateness:

Test for unateness in one variable:

Test for positive unate in one variable, negative unate in another:

Check for unateness of a pure function:

Test for negative unateness in the first variable and positive unateness in the second:

Test for whether a function is positive unate in its first and last variables:

Enumerate all unate functions of three variables:

ReliabilityDistribution only takes positive unate functions:

Find out which variables are not positive unate:

Remove x₄ by setting it to False:

Basic positive unate functions:

Basic negative unate functions:

Implies is negative unate in one variable and positive unate in the other:

Some Boolean functions are not unate in any variable:

The fraction of Boolean functions that are positive unate for dimension :

Combinations of positive unate functions are unate:

Combinations of negative unate functions are not necessarily negative unate:

The negation of a positive unate function is negative unate:

Show in how many variables each Boolean function with three variables is positive unate: