Монотонная функция

Выше (см. Раздел 1) мы установили для входных наборов отношение предшествования: Входной набор предшествует набору (обозначается это так ), если .

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

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

Замечание: Любая монотонная логическая функция может быть представлена в форме без инверсий.