We consider two kinds of prohibitions on a structure of logic networks: prohibitions on existence of oriented cycles and splices of outputs of logic gates. We show that both prohibitions are violated in practical synthesis of circuits, and a requirement of absence of oriented cycles in logic networks excludes an interesting class of automaton circuits from consideration. In connection with this, it seems appropriate to develop a theory of synthesis of networks without the prohibitions mentioned.

logic network, structural prohibition, circuit correctness, automaton circuit

Mathematical problems and theory of numerical methods