18. Вопросы для самопроверки

1. Булевы функции. Таблицы истинности.

2. Конъюнкция, дизъюнкция и отрицание. Свойства. Правила поглощения, де Моргана и Блейка.

3. ДНФ, КНФ, СДНФ, СКНФ. Представление булевой функции (по таблице истинности) в виде СДНФ и СКНФ.

4. Сокращенная ДНФ. Нахождение сокращенной формулы с помощью правила Блейка и с помощью карт Карно.

5. Полиномы Жегалкина и их нахождение.

6. Суперпозиция функций. Полные наборы функций и базисы. Теорема Поста и таблица Поста.

7. Графы. Общие понятия. Ориентированные графы. Пути и сечения в графе.

8. Структурная матрица. Нахождение путей и сечений методами булевой алгебры.

9. Сети и потоки в сетях. Теорема Форда-Фалкерсона.

Литература

1. Нефедов В. Н., Осипова В.А. Курс дискретной математики / МАИ. М., 1992.

2. Лихтарникова Л.М., Сукачева Т.Г. Математическая логика. Курс лекций. Задачник-практикум и решения. СПб, 1988.

3. Гиндикин С.Г. Алгебра логики в задачах. М., 1972.

4. Мамонтова Н.П. и др. Методические указания к практическим занятиям по теории сетей связи / ЛЭИС. Л., 1978.

5. Кристофидес Н. Теория графов. Алгоритмический подход. М.: Мир, 1978.

6. Уилсон Р. Введение в теорию графов. М.: Мир, 1977.