Jump to content

Unate function

From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by 80.38.96.244 (talk) at 10:13, 15 November 2007 (Fixed typo). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

A unate function is a type of boolean function which has monotonic properties. They have been studied extensively in switching theory.

A function is said to be positive unate in if

Likewise, it is negative unate in if

If for every f is either positive or negative unate in the variable then it is said to be unate. A function is binate if it is not unate.

For example the Logical disjunction function or with boolean values are used for true (1) and false (0) is positive unate.