CEDAR Logic: алгебраическая, сокращённая ДНФ и совершенные нормальные формы для булевых функций

В видео рассказано, что такое совершенные нормальные формы (СДНФ и СКНФ), сокращённая нормальная форма и алгебраическая нормальная форма (полином Жегалкина), каковы способы задания логических формул по заданным таблицам истинности, а также показано, как реализовать совершенные и алгебраическую нормальные формы и сокращённую дизъюнктивную нормальную форму в логическом симуляторе CEDAR Logic. Подготовка презентации, запись и монтаж видео: Никита Иванов. Озвучивание видео: Кирилл Шахмулин. Видео также опубликовано на Яндекс.Дзен канале "Самостоятельная работа": https://dzen.ru/video/watch/64857ea2bfaf86243ecf29c9.