Слушайте, народ, это несерьезно. Усердно прочитал 20 страниц текста
в надежде узнать алгоритм. Конспектирую:
(18 страниц) Не относящиеся к сути алгоритма определения.
(1 страница) Алгоритм: рассмотрим случаи: x_n=0, x_n=1, для каждого
случая вызовем себя рекурсивно.
(0.5 страниц) К сожалению, этот алгоритм имеет недостатки, но скоро появится супералгоритм...
А позиционность тут вообще ни при чем. Фактически формулы просто
выравниваются пробелами (или знаками M, но мне больше пробелы нравятся) так, чтобы в дизъюнктах переменные стояли столбцами.
Ну и как это называется?