Контрольные вопросы

1. Определение логической переменной и буквы.

2. Определение элементарной конъюнкции.

3. Нормальная и совершенная дизъюнктивные формы.

4. Ранг конъюнкции. Длина ДНФ.

5. Кратчайшая и минимальная ДНФ.

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

7. Максимальные интервалы.

8. Карты Карно и диаграммы Вейча.

9. Метод Квайна: минитермы, импликанты (простые и существенные).

ЛИТЕРАТУРА

1. Кузнецов О.П., Адельсон-Вельский Г.М. Дискретная математика для инженеров. – М.: Мир, 1980.

2. Кук Д., Бейз Г. Компьютерная математика . – М.: Наука, 1990.

3. Столл Р. Множества.Логика.Аксиоматические теории. – М.: Просвещение, 1968.

4. Поспелов Д.А. Логические методы анализа и синтеза схем. – М.: Энергия,1974. – 268с.

5. Шоломов Л.А. Основы теории дискретных логических вычислительных устройств. – М.: Наука,1980.

6. Андерсон Дж. Дискретная математика и комбинаторика.– М.: Мир, 2001. – 960с.

7. Міхайленко В.М., Федоренко Н.Д., Демченко В.В. Дискретна математика: Підручник. – Київ: Вид-во Європ. ун-ту, 2003. – 318с.

СОДЕРЖАНИЕ

Лабораторная работа № 1

Способы задания множеств. Операции над множествами.

Основные соотношения алгебры множеств………………………..................2

Лабораторная работа № 2

Отношения на множествах………… …………………………………….…..8

Лабораторная работа № 3

Булевы функции. Законы алгебры логики. Аналитические способы описания. Полные системы функций………………………………………..17

Лабораторная работа № 4

Методы минимизации функций алгебры логики …………………………...32