Получение алгебраической, сокр. дизъюнктивной и соверш. норм. форм для булевых функций на Python

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