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