Функция называется монотонной, если при любом возрастании набора переменных значения этой функции не убывают

Если функция на единичном наборе переменных равна единице, то говорят, что такая функция сохраняет единицу.

Для функций двух аргументов, приведенных в таблицах 8.9 8.13 и 8.14, сохраняющими единицу являются следующие функции:

Класс монотонных функций .

Если значение каждого аргумента одного набора больше или равно значению того же аргумента второго набора, то говорят, что первый набор не меньше второго. Такие наборы называются сравнимыми. Примеры сравнимых наборов:

1,1,0,1>1,1,0,0;

0,1,1,0,1>0,1,0,0,0;

1,0,1,1>1,0,0,0.

Если же некоторые из значений аргументов первого набора больше или равны, а другие меньше значений тех же аргументов второго набора, то такие наборы называются несравнимыми. Примеры несравнимых наборов:

Дата добавления: 2014-01-07