== Определения ==
{{Определение
|definition=
<tex>P/poly=\{L | \forall n </tex> существует [[Реализация_булевой_функции_схемой_из_функциональных_элементов|логическая схема]] <tex> C_n </tex> с <tex> n </tex> входами и одним выходом такая, что:
#размеры <tex> C_n \leqslant p(n)</tex>, где <tex> p </tex> {{---}} полином;
#<tex>x \in L \iff C_{|x|}(x) = 1 \}</tex>.
}}
{{Определение
{{Определение
|definition=
Пусть <tex> F = \{f_i\}</tex>. Тогда <tex> CP/F poly = \bigcup\limits_{f p \in Fpoly} CP/f p </tex>.
}}
