WikiSort.ru - Не сортированное

Монотонная булева функция — булева функция, которая монотонно возрастает (точнее не убывает) по каждому аргументу. Класс всех монотонных булевых функций является одним из пяти предполных классов.

Определение

Булева функция называется монотонной, если из того, что она принимает значение ${\displaystyle 1}$ на некотором наборе аргументов ${\displaystyle a}$ , следует, что она принимает значение ${\displaystyle 1}$ на всяком наборе аргументов ${\displaystyle b}$ , который получается из набора аргументов ${\displaystyle a}$ путём замены произвольного числа нулей на единицы^[1].

Говорят, что набор ${\displaystyle {\tilde {\alpha }}=(\alpha _{1},...\alpha _{n})}$ предшествует набору ${\displaystyle {\tilde {\beta }}=(\beta _{1},...\beta _{n})}$ (${\displaystyle {\tilde {\alpha }}}$ не больше ${\displaystyle {\tilde {\beta }}}$ , ${\displaystyle {\tilde {\alpha }}}$ меньше либо равен ${\displaystyle {\tilde {\beta }}}$ , ${\displaystyle {\tilde {\alpha }}\leq {\tilde {\beta }}}$ ), если ${\displaystyle \alpha _{i}\leq \beta _{i}}$ для всех ${\displaystyle i=1,...,n}$ .

Если ${\displaystyle {\tilde {\alpha }}\leq {\tilde {\beta }}}$ и ${\displaystyle {\tilde {\alpha }}\neq {\tilde {\beta }}}$ , то говорят, что набор ${\displaystyle {\tilde {\alpha }}}$ строго предшествует набору ${\displaystyle {\tilde {\beta }}}$ (строго меньше, ${\displaystyle {\tilde {\alpha }}<{\tilde {\beta }}}$ ).

Наборы ${\displaystyle {\tilde {\alpha }}}$ и ${\displaystyle {\tilde {\beta }}}$ называются сравнимыми, если ${\displaystyle {\tilde {\alpha }}\leq {\tilde {\beta }}}$ либо ${\displaystyle {\tilde {\beta }}\leq {\tilde {\alpha }}}$ .

В случае, когда ни одно из этих соотношений не выполняется, наборы называются несравнимыми.

Булева функция ${\displaystyle f({\tilde {x}}_{n})}$ называется монотонной, если для любых двух наборов ${\displaystyle {\tilde {\alpha }}_{n}}$ и ${\displaystyle {\tilde {\beta }}_{n}}$ таких, что ${\displaystyle {\tilde {\alpha }}\leq {\tilde {\beta }}}$ , имеет место неравенство ${\displaystyle f({\tilde {\alpha }}_{n})\leq f({\tilde {\beta }}_{n})}$ .^[2]

Множество всех монотонных функций алгебры логики обозначается через ${\displaystyle M}$ , а множество всех монотонных булевых функций, зависящих от ${\displaystyle n}$ переменных ${\displaystyle M^{(n)}}$

См. также

• Предполные классы
• Линейная булева функция

Примечания