Text this: Логические методы проверки комбинационных автоматов