Abstract
As is well known, any function of the two-valued algebra of logic (FAL) can be realized in the basis &, V, ˥ by a scheme of depth 2 (if by depth we understand the maximal number of alternations of the operators & and V). Such a scheme is obtained in modeling normal forms of FAL [1]. With this, an asymptotic bound on the complexity of the scheme equals n·2n−1, where n is the number of variables. Lupanov [2] showed that any FAL is realized in basis &, V, ˥ by a scheme of depth 3 with asymptotic bound on its complexity of 2n/log2n. With a further increase in depth, this bound is not changed.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Literature Cited
N. E. Kobrinskii and B. A. Trakhtenbrot, Introduction to the Theory of Finite Automata, Fizmatgiz (1962).
O. B. Lupanov, “On the realization of functions of the algebra of logic by formulas of finite class (formulas of bounded depth) in the basis &, V,” in: Problems of Cybernetics, Vol. 6, Fizmatgiz (1961).
E. J. Schubert, “Logical design by regression,” Commun. and Electr., No. 156 (1961).
L. Hellerman, “A catalog of three-variable or-invert and and-invert logical circuits,” IEEE Trans. Electron. Comput. EC-12, No. 3 (1963).
R. E. Burke and J. G. van Bosse, “NAND-AND circuits,” IEEE Trans. Electron. Comput. EC-14, No. 1 (1965).
R. A. Smith, “Minimal three-variable NOR and NAND logic circuits,” IEEE Trans. Electron. Comput. EC-14, No. 1 (1965).
“Complex unified functional schemes of elements, assemblies, and blocks of computing machines and devices ‘Ural-10’,” in the catalog: Radio-Electronic Apparatus and Its Elements.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1969 Consultants Bureau, New York
About this chapter
Cite this chapter
Fet, Y.I. (1969). Some Algorithms for Synthesizing Schemes of Minimal Depth. In: Lazarev, V.G., Zakrevskii, A.V. (eds) Synthesis of Digital Automata / Problemy Sinteza Tsifrovykh Avtomatov / Проƃлемы Синтеза Цифровых Автоматов. Springer, Boston, MA. https://doi.org/10.1007/978-1-4684-9033-6_4
Download citation
DOI: https://doi.org/10.1007/978-1-4684-9033-6_4
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4684-9035-0
Online ISBN: 978-1-4684-9033-6
eBook Packages: Springer Book Archive