75
правок
Изменения
→Представление функции: добавил иллюстрацию
== Представление функции ==
[[Файл:Lupanov fig1.png|400px|thumb|right|Рис. 1. Описываемая таблица истинности, разделённая на полосы]]
Для начала поделим аргументы функции на два блока: первые <math>k</math> и оставшиеся <math>(n - k)</math>.
* '''По вертикали''' на ней представлены все значения <math>f(x_1, x_2, ..., x_k, \sigma_{k + 1}, \sigma_{k + 2}, ..., \sigma_n)</math>.
Таким образом, легко заметить, что значение <math>f(x_1, x_2, ..., x_n)</math> находится на пересечении строки <math>x_1, x_2, ..., x_k</math> и столбца <math>x_{k + 1}, x_{k + 2}, ..., x_n</math>.
== Разделение на полосы ==
Разделим таблицу на горизонтальные полосы шириной <math>s</math> (последняя полоса, возможно, будет короче остальных; её длину обозначим <math>s'</math>). Пронумеруем полосы сверху вниз от 1 до <math>p=\lceil\frac{2^k}{s}\rceil</math>.