Основные свойства элементарных функций
4). Правила упрощений:
a) min [ J
(x),
J
(x) ] = 
b) min [ (k-1), x ] = x, min ( 0, x ) = 0;
c) max [ (k-1), x ] = k-1, max ( 0, x ) = x.
5). max [ J
(x), …, J
(x) ] = k-1.
6). Правило введения переменной:
x
= min { x, max [ J(x
), …, J (x) ] }.
Докажем это свойство, используя свойства 4b) и 5):
min{ x, max [ J(x), …, J(x) ] } = min [ x, (k-1) ] = x.