Книга Колмогорова, Драгалина "Введение в математическую логику", глава 1, пункт 9:
Цитата:
9. Рассмотрим булево кольцо

функций от

переменных

со значениями из

(булево кольцо

состоит из двух элементов

и

), так называемых
булевых функций.
Пользуясь операциями сложения и умножения в кольце

, можно представить такую функцию по
формуле Лагранжа в виде

(1)
где суммирование ведется по всем наборам

из нулей и единиц, т.е. по всем элементам кольца

(например,

состоит из

).
Дальше на основе этого представления вводится
совершенная дизъюнктивная нормальная форма и в принципе понятно каким образом.
Вопрос в другом, а именно:
* что за формула Лагранжа о которой говорится в этой книге? (я посмотрел в гугле, но ничего похожего я не нашел)
* где в другой литературе она имеет такой вид и используется для представления СДНФ (СКНФ)?