Unate function

From Quire, the open reference·Boolean function which has monotonic properties·1 min read

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

A function ${\displaystyle f(x_{1},x_{2},\ldots ,x_{n})}$ is said to be positive unate in ${\displaystyle x_{i$ if for all possible values of ${\displaystyle x_{j$ , ${\displaystyle j\neq i}$

${\displaystyle f(x_{1},x_{2},\ldots ,x_{i-1},1,x_{i+1},\ldots ,x_{n})\geq f(x_{1},x_{2},\ldots ,x_{i-1},0,x_{i+1},\ldots ,x_{n}).\,}$

Likewise, it is negative unate in ${\displaystyle x_{i$ if

${\displaystyle f(x_{1},x_{2},\ldots ,x_{i-1},0,x_{i+1},\ldots ,x_{n})\geq f(x_{1},x_{2},\ldots ,x_{i-1},1,x_{i+1},\ldots ,x_{n}).\,}$

If for every ${\displaystyle x_{i$ f is either positive or negative unate in the variable ${\displaystyle x_{i$ then it is said to be unate (note that some ${\displaystyle x_{i$ may be positive unate and some negative unate to satisfy the definition of unate function). A function is binate if it is not unate (i.e., is neither positive unate nor negative unate in at least one of its variables).

For example, the logical disjunction function or with boolean values used for true (1) and false (0) is positive unate. Conversely, Exclusive or is non-unate, because the transition from 0 to 1 on input x0 is both positive unate and negative unate, depending on the input value on x1.

Categories Boolean algebra

This article is mirrored from “Unate function” on English Wikipedia, revision 1356257043, written by Wikipedia's contributors and licensed CC BY-SA 4.0. Editing it here creates a Quire copy with its own history.

Synced with Wikipedia revision 1356257043 · just now