О поиске максимального верхнего нуля для одного класса монотонных функций конечнозначной логики

Решается в шенноновской постановке задача поиска максимального верхнего нуля монотонной функции конечнозначной логики. Доказывается, что в конечнозначном случае решение имеет вид, аналогичный известным решениям для булевых функций и функций $k$-значной логики.