Email-запись: Логические методы проверки комбинационных автоматов