Complexidade de funções booleanas é explorada com foco em circuitos, fórmulas e medidas de complexidade.

A análise discute métodos combinatórios e algorítmicos usados para provar limites inferiores e superiores.

Discussões sobre implicações para o design de circuitos e para a teoria da computação contextualizam os resultados apresentados.