== Дизъюнктивные нормальные формы ==
# Берётся из лекций Ложкина по ОК: {{Файл:Ложкин С.А. - Лекции по основам кибернетики 2004.djvu}}. ==== Проблема минимизации булевых функций. Дизъюнктивные нормальные формы (ДНФ). Постановка задачи в геометрической форме.==== # ==== Локальные алгоритмы построения ДНФ. Построение ДНФ ''∑Т'' (сумма тупиковых) с помощью локального алгоритма==== * '''Опр.''' тупиковая ДНФ, ДНФ ΣT и {{cap}}T, ядровая точка, ядровая грань, ядро; пучок, регулярные и нерегулярные точки, регулярные грани; окрестность порядка r, ДНФ Квайна; локальный алгоритм.* '''Л.''' (о составе ДНФ {{cap}}T)* '''Т.''' (Журавлева) (о составе ДНФ ΣT), идея о покрытии регулярных точек гранями из меньшего пучка. # ==== Невозможность построения ДНФ ''∑М'' (сумма минимальных) в классе локальных алгоритмов==== * '''Опр.''' ДНФ ΣM, цепная функция.* '''Т.''' (Журавлева) (неприменимость локального алгоритма для построения ДНФ ΣM цепной функции).
== Синтез и сложность управляющих систем ==
