The forbidden projections of unate functions (Q1364471)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The forbidden projections of unate functions |
scientific article |
Statements
The forbidden projections of unate functions (English)
0 references
24 February 1998
0 references
A projection of a Boolean function is formed by taking a subset of the input variables of the function and fixing each of them to either 0 or 1. The paper presents a characterization of the class of unate Boolean function by forbidden projections. Unateness is a generalization of monotonicity. A function is unate in \(x\) if it is either monotone or anti-monotone in \(x\). A Boolean is unate if it is unate in all its input variables. The problem is analogous to forbidden graph minors problem.
0 references
Boolean function
0 references
unate Boolean function
0 references
forbidden projections
0 references
