Основные свойства элементарных функций
1). Дистрибутивность функции max относительно функции min :
max [ min(x
, x
), x
] = min [ max(x
, x
), max(x
, x
) ].
2). Дистрибутивность функции min относительно функции max :
min [ max(x
, x
), x
] = max [ min(x
, x
), min(x
, x
) ].
3). Идемпотентность функции max и min (аналог
законов де Моргана в Р
):
min( ~x
, ~x
) = ~max( x
, x
); max( ~x
, ~x
) = ~min( x
, x
).