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