ИСТИНА

Впервые проведено систематическое исследование одного из важных языков и средств выразимости в дискретной математике – функциональных уравнений многозначной логики. Доказан ряд утверждений о свойствах решений таких систем в зависимости от используемых в уравнениях функциональных констант; получены оценки сложности проверки выполнимости систем функциональных уравнений. На основе таких систем определен новый оператор замыкания, порождающий конечную классификацию множества всех функций многозначной логики; для некоторых частных случаев эта классификация построена в явном виде.