The forbidden projections of unate functions (Q1364471): Difference between revisions

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.