Deeds: реализация совершенной конъюнктивной нормальной формы (СКНФ)

В видео сформулировано понятие совершенной конъюнктивной нормальной формы для произвольной булевой формулы, представлен пример СКНФ и показана соответствующая её таблица истинности. Также СКНФ реализована в логическом симуляторе Deeds. Подготовка презентации, озвучивание и монтаж: Макар Погорелов. Видео также опубликовано на Яндекс.Дзен канале "Самостоятельная работа": https://dzen.ru/video/watch/66616a26228902724a166cc1.