693
правки
Изменения
→Логические элементы
{{Определение
|definition=
Если входные и выходные сигналы — являются нулями и единицами, элемент называется '''логическим''' (англ. ''logic gate'').
При подаче на входы логического элемента любой комбинации двоичных сигналов, на выходах также возникает сигнал — значение [[Определение булевой функции|булевой функции]].
}}
Отождествление переменных осуществляется при помощи ветвления проводников.[[File:Отождествление.png|thumb|200px|Отождествление переменных]]
Чтобы осуществить подстановку одной функции в другую , нужно выход логического элемента, который реализует первую функцию, направить на вход логического элемента, который реализует вторую функцию.
[[File:Подстановка.png|thumb|200px|Подстановка]]
|about=аналогична теореме про схемную сложность
|statement =
Для любых базисов <tex>~B_1</tex>, <tex>~B_2</tex> и функции <tex>~f</tex> верно неравенство <tex>~depth_{B_2}(f) \leq leqslant C_{(B_1,\;B_2)}depth_{B_1}(f)</tex>, где константа <tex>~C</tex> зависит только от базисов <tex>~B_1</tex> и <tex>~B_2</tex>. Доказательство аналогично доказательству предыдущей теоремы.
}}
