Основные свойства элементарных функций
7). Правило исключения ” чистых “ вхождений переменной:
x = max { min [ 1, J
(x) ], min [ 2, J
(x) ], …, min [ (k-1),
J
(x) ]
}
8).Правило спуска символа J “ вглубь“ формулы:
a) J
[ J
(x)] = 
b) J[ min (x, y) ] = max { min [ J(x), max ( J(y), …, J(y) ) ],
min [ J(y), max (
J(x),
…, J(x)
) ] };
c) J[ max (x, y)] = max { min [ J(x), max ( J
(y), …, J(y) ],