Алгоритм проверки выполнимости модальных формул на порядковых суммах шкал Крипкедипломная работа (Специалист)