Ссылки на литературу по перечисленным вопросам:
Функции алгебры логики от n переменных. Их число. Задание булевой функции таблицей
истинности и формулой. Фиктивные переменные. Булевы функции от одной и двух
переменных. Конъюнктивные нормальные формы. Дизъюнктивные нормальные формы.
Свойства операций И,ИЛИ,НЕ. Эквивалентные преобразования и правила упрощения.
Исключение конъюнкций с помощью покрытия интервалов. Алгебра Жегалкина, представление
булевых функций.
Ссылки на литературу по перечисленным вопросам:
Определение графа. Вершины, ребра, дуги. Связность. Циклы. Деревья. Матрица смежности.
Матрица инцидентности. Алгоритм построения остовного дерева графа
с минимальной суммой мер.
Алгоритм перечисления циклов графа.
Ссылки на литературу по перечисленным вопросам:
Возврат