Дискретна математика, лекція 15-2: двоїсті функції та кон'юнктивні нормальні форми

Розглянуто такі питання:
-- двоїста функція булевої функції;
-- побудова таблиці істинності двоїстої функції;
-- теорема про двоїсті функції (двоїста формула реалізує двоїсту функцію);
-- виведення досконалої кон'юнктивної нормальної форми (ДКНФ) булевої функції через ДНФ двоїстої функції;
-- побудова ДКНФ за таблицею істинності, приклади (функція мажоризації);
-- елементарні диз'юнкції та кон'юнктивні нормальні форми (КНФ).
Лектор: Сергій Яковлєв.
Дивіться у 720p, оскільки написи на дошці доволі дрібні.