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