АСИНХРОННОЕ МОДЕЛИРОВАНИЕ ДИСКРЕТНЫХ УСТРОЙСТВ НА ОСНОВЕ ЛОГИЧЕСКОГО ПРОГРАММИРОВАНИЯ