Лекция 5

ТЕМА: ЗАКОН ДВОЙСТВЕННОСТИ. ДИЗЪЮНКТИВНАЯ И КОНЪЮНКТИВНАЯ НОРМАЛЬНЫЕ ФОРМЫ ФОРМУЛ АЛГЕБРЫ ЛОГИКИ.

ПЛАН:

1. Закон двойственности.

2. Дизъюнктивная нормальная форма.

3. Конъюнктивная нормальная форма.

4. Проблема разрешимости.

ЛЕКЦИЯ 6

ТЕМА: АЛГЕБРА БУЛЯ. БУЛЕВЫ ФУНКЦИИ. ПРИЛОЖЕНИЯ АЛГЕБРЫ ЛОГИКИ В ТЕХНИКЕ.

ПЛАН:

1. Алгебра Буля.

2. Функции алгебры логики.

3. Представление произвольной функции в виде формулы алгебры логики.

4. Приложения алгебры логики в технике (релейно – контактные схемы).

ЛЕКЦИЯ 7

ТЕМА: СОВЕРШЕННЫЕ НОРМАЛЬНЫЕ ФОРМЫ.

ПЛАН:

1. Совершенная дизъюнктивная нормальная форма.

2. Совершенная конъюнктивная нормальная форма.

ЛЕКЦИЯ 8

ТЕМА: МИНИМИЗАЦИЯ В КЛАССЕ ДИЗЪЮНКТИВНЫХ НОРМАЛЬНЫХ ФОРМ.

ПЛАН:

1. Формула номера набора в таблице истинности.

2. Понятие минимальной ДНФ. Метод минимизирующих карт.

3. Метод Квайна.

4. Метод Карно.

5. Постановка задачи минимизации в геометрической форме.

6. Сокращенная ДНФ.

7. Тупиковая ДНФ. ДНФ Квайна.

ЛЕКЦИЯ 9

ТЕМА: ПОЛИНОМ ЖЕГАЛКИНА.

1. Некоторые логические операции. Двоичное сложение.

2. Полином Жегалкина.

ЛЕКЦИЯ 10

ТЕМА: ПОЛНОТА МНОЖЕСТВА ФУНКЦИЙ.

1. Полная система . Достаточное условие полноты.

2. Критерий полноты системы булевых функций.

3. Независимые системы. Базис замкнутого класса.

ЛЕКЦИЯ 11

ТЕМА : ПРЕДИКАТ. ЛОГИЧЕСКИЕ ОПЕРАЦИИ НАД ПРЕДИКАТАМИ.

1. Понятие предиката.

2. Логические операции над предикатами.

ЛЕКЦИЯ 12

ТЕМА: КВАНТОРНЫЕ ОПЕРАЦИИ. ФОРМУЛЫ ЛОГИКИ ПРЕДИКАТОВ.

ПЛАН:

1. Кванторные операции.

2. Формулы логики предикатов.

3. Значение формулы логики предикатов.

4. Равносильные формулы логики предикатов.