Дискротека: Теорема о булевых многочленах.