The superposition (or composition) problem is a problem of
representation of a function f by a superposition of "simpler" (in a
different meanings) set \Omega of functions. In terms of circuits
theory this means a possibility of computing f by a finite circuit
with 1 fan-out gates \Omega of functions. ...
more >>>