Изменения

::Будем считать, что схема <tex>S</tex> вычисляет систему булевых функций, если на каждый вход схемы подаются всевозможные наборы аргументов функции, а в выходах вычисляется функция от соответствующего поданного на вход набора аргументов. Также будем считать, что <tex> size_{B}(S)</tex> {{---}} это сложность схемы, вычисляющей систему булевых функций.