О соответствии монотонных булевых функций системам линейных неравенств

Введен подкласс $K^n_{ner}$ класса монотонных булевых функций (м.б.ф.), состоящий из тех и только тех м.б.ф., для которых существуют эквивалентные им в некотором смысле системы линейных неравенств. Приведен ряд условий на м.б.ф., необходимых для того, чтобы она принадлежала к $K^n_{ner}$. Сформулированы общие результаты оценки сложности алгоритмов расшифровки м.б.ф. из некоторого подкласса класса всех м.б.ф.