Iterated Boolean functions in the elementary basis
A. A. Voronenko, V. S. Fedorova, Dmitry V. Chistikov · Russian Mathematics · 2011
We establish a new criterion for a Boolean function to be read-once over the basis of conjunction, disjunction, and negation. We prove that each Boolean function is either read-once or has a set of four or six input vectors such that values of this function on these vectors show that it is iterated. We use this criterion to deduce an alternative proof of the known Stetsenko criterion.