Доказательство полноты класса в k-значной логике

[chencho]

Дан класс {$ \overline{x}; max {}$}{$ {{x,y}}$}
Нужно доказать полноту $x$ и константы я понимаю как получить.
Не понимаю как получить $ Ii(x)=max $ {${{x+\alpha}}+1$}, где $ \alpha\neq k-1-i$
Возникает вопрос что такое $ max$от одной переменной и как его находить?
Пытаюсь подставить числа, но то сто прлучаеться не сходится с теми значениями, которые должна принимать функция...

[BapuK]

Посмотрите учебник Гиндикина "Алгебра логики в задачах", там есть примеры с ответами на эту тему, раздел "Многозначные логики"

[chencho]

спасибо.