Logic circuits as models of computation

Abstract

Tato práce se zaměřuje na studium logických obvodů. Vykládáme v ní teorii logických obvodů podle učebnice "Models of Computation" od Johna E. Savage a řešíme některé úlohy a cvičení z této učebnice. V této práci najdete klíčové pojmy související s logickými obvody. Věnovali jsme znač- nou pozornost hlavně odhadům dolních mezí velikostí obvodů a velikostí formulí obecných booleovských funkcí. Sestrojili jsme také několik jednoduchých příkladů známých obvodů a ukázali jsme, jak lze navrhnout další obvody. 1

This work focuses on the study of logic circuits. We investigated the basics of the theory of logic circuits following the textbook "Models of Computation" by John E. Savage and we used this knowledge to solve some of the examples and problems suggested in the textbook. In this work, you can find key concepts related to logical circuits. Our main topic is the estimation of the lower bounds of the circuit size and formula size of general Boolean function. We constructed simple examples of some known circuits and showed how the circuit designs may be offered. 1