25. Граф на рис.17 не является плоским. Является ли он планарным? Если да, то нарисуйте этот граф плоским.

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

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

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

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

иСКНФ.

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

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

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

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

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

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

ЛИТЕРАТУРА

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

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

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

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

ЛЭИС. Л., 1978.

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

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

54