Zaslat SMS: Логическое моделирование