УДК 519.95
О глубине и сложности формул
в некоторых классах -значной логики / Сафин Р.Ф. // Вестн. Моск. ун-та. Сер. 1, Математика. Механика.
C. 65-68.
Для некоторых предполных классов -значной логики
показано, что для всякой конечной системы функций
,
порождающей один из этих классов, найдутся такие константы
и
,
что для любой функции
из
глубина
и сложность
функции
в классе формул над
связаны соотношением
.
Библиогр. 7.