LogModel: алгебр. норм. форма, сокр. диз. норм. форма и и совер. норм. формы для булевых функц

В видео рассказано, что такое совершенные нормальные формы (СДНФ и СКНФ), сокращённая нормальная форма и алгебраическая нормальная форма (полином Жегалкина), каковы способы задания логических формул по заданным таблицам истинности, а также показано, как реализовать совершенные и алгебраическую нормальные формы и сокращённую дизъюнктивную нормальную форму в логическом симуляторе LogModel. Подготовка презентации, запись и монтаж видео: Митаг Екатерина. Озвучивание видео: Митаг Екатерина. см. ещё текстовые материалы на Дзен: https://dzen.ru/a/ZDlHIG-ZunBrLNPF см. ещё ссылка на Ютуб: https://youtube.com/channel/UCLvLhIS3tQNDMRdfwr1cWBA?si=ifBJ8bmTTO8UqGKv