ブール関数
自然な証明が対象とするのは、ブール関数の回路計算量の下界の証明である。