Circuit complexity in the context of "Boolean circuit"

In theoretical computer science, circuit complexity is a branch of computational complexity theory in which Boolean functions are classified according to the size or depth of the Boolean circuits that compute them. A related notion is the circuit complexity of a recursive language that is decided by a uniform family of circuits ${\displaystyle C_{1},C_{2},\ldots }$ (see below).

Proving lower bounds on size of Boolean circuits computing explicit Boolean functions is a popular approach to separating complexity classes. For example, a prominent circuit class P/poly consists of Boolean functions computable by circuits of polynomial size. Proving that ${\displaystyle {\mathsf {NP}}\not \subseteq {\mathsf {P/poly}}}$ would separate P and NP (see below).