Hradla: задача управления платформой робота-пылесоса

В видео рассматриваются основы работы в логическом симуляторе Hradla на примере простой практической задачи управления движением платформы робота-пылесоса, имеющего 3 независимых колеса. Задача формализована логическими выражениями, проведено ее моделирование и проверка по таблице истинности. Подготовка материалов, презентации, озвучка и монтаж видео: Немыкин Михаил. Видео также опубликовано на Яндекс.Дзен канале "Самостоятельная работа": https://zen.yandex.ru/media/id/603a418d1684900aa2499416/62e3fbd4e13ed15dc10d9205