Выдержка из книги
Козлов В.Я.
Труды по дискретной математике Том8
В одну сторону утверждение теоремы очевидно: сумма не более чем k - I булевых ( - функций является ( - функцией и принимает значения из множества V&. Обратно, пусть функция f ( x) является k - G-функцией.
