📢 Разбор основных функций SMT