Үүнийг мессежээр илгээх: Логические методы проверки комбинационных автоматов