В видео рассказано, что такое совершенные нормальные формы (СДНФ и СКНФ) и сокращённая нормальная форма, каковы способы задания логических формул по заданным таблицам истинности, а также показано, как реализовать совершенные и сокращённую дизъюнктивную нормальные формы в логическом симуляторе Cirsuit Sandbox.
Подготовка презентации, озвучивание, запись и монтаж видео: Чжен Юн Гын.
Видео также опубликовано на Яндекс.Дзен канале "Самостоятельная работа": [ Ссылка ]
