Mathematical models for intellectualization of synthesis of discrete logical control units
И. Ф. Чебурахин · Journal of Computer and Systems Sciences International · 2008
A new method for studying mathematical models of discrete logical units based on functional equations is proposed. Representing Boolean functions in the class of formulas (circuits of functional elements with or without branching), we obtain the values of complexity indices in the number of characters, subformulas, and in the depth of a superposition formula (the number of functional elements and the circuit depth). The results are applied in the logical-computational approach to the intellectualization of synthesizing logical units on the basis of digital integrated circuits.