Построение сокращённой дизъюнктивной нормальной формы в логическом симуляторе Cirsuit Sandbox

В видео рассказано, что такое совершенные нормальные формы, каковы способы задания логических формул по заданным таблицам истинности, а также показано, как реализовать СДНФ, СКНФ и сокращённую дизъюнктивную нормальную форму в логическом симуляторе Cirsuit Sandbox. Подготовка презентации, озвучивание и монтаж: Алексей Моисейцев. Видео также опубликовано на Яндекс.Дзен канале "Самостоятельная работа": https://zen.yandex.ru/independent_work/