Atanua: построение совершенных и сокращённой дизъюнктивной нормальных форм

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

0/0


0/0

0/0

0/0