Приложение в (рекомендуемое) Основные аксиомы и законы алгебры логики
Аксиомы АЛ
,
,
,
,
,
,
,
.
Законы АЛ
Нулевого множества
Универсального множества
Повторения
Двойного отрицания
Дополнительности
Переместительный
Распределительный
Поглощения
Склеивания
Обобщенного склеивания
Двойственности (правило де Моргана)
Оглавление
ВВЕДЕНИЕ 3
1 ПОНЯТИЕ ФУНКЦИИ АЛГЕБРЫ ЛОГИКИ 3
2 СПОСОБЫ ЗАДАНИЯ ФАЛ 4
2.1 Табличный способ 4
2.2 Графический способ 7
2.3 Координатный способ 8
2.4 Числовой способ 10
2.5 Аналитический способ 11
2.6 Задание ФАЛ с использованием диаграмм двоичного решения 12
2.7 Задание ФАЛ при помощи диаграмм Венна 12
2.8 Задание ФАЛ с использованием контактных схем 14
3 КАНОНИЧЕСКИЕ ФОРМЫ ПРЕДСТАВЛЕНИЯ ФАЛ 15
4 МИНИМИЗАЦИЯ ФАЛ 18
4.1 Общие положения 18
4.2 Минимизация полностью заданных ФАЛ 20
4.2.1 Минимизация на основе использования законов алгебры логики 20
4.2.2 Минимизация при помощи карт Карно 20
4.2.3 Минимизация методом Квайна 25
4.2.4 Минимизация методом Квайна–Мак-Класки 30
4.3 Минимизация частично заданных ФАЛ 32
4.3.1 Минимизация частично заданных ФАЛ картами Карно 32
4.3.2 Минимизация частично заданных ФАЛ методами Квайна и Квайна–Мак-Класки 33
4.3.3 Минимизация методом существенных переменных 36
С П И С О К Л И Т Е Р А Т У Р Ы 41
ПРИЛОЖЕНИЕ А (обязательное) Задания к практическим работам № 1, 2 42
ПРИЛОЖЕНИЕ Б (обязательное) Задания к практическим работам № 3, 4 44
ПРИЛОЖЕНИЕ В 46
(рекомендуемое) Основные аксиомы и законы алгебры логики 46
Учебное издание
БЕРЕЗНЯЦКИЙ Юрий Федорович
Задание и минимизация функций алгебры логики
Пособие для практических занятий
по дисциплине «Теория дискретных устройств»
Редактор О. В. З а н и н а
Технический редактор В. Н. К у ч е р о в а
Корректор Т. М. Р и з е в с к а я
Подписано в печать 16.02.2004 г. Формат бумаги 60х841/16.
Бумага газетная. Гарнитура Таймс. Печать офсетная.
Усл.печ.л. 2,56. Уч.-изд. 2,66. Тираж 170 экз.
Зак. № . Изд. № 3993.
Редакционно-издательский отдел БелГУТа, 246653, г. Гомель, ул. Кирова, 34.
Лицензия ЛВ № 57 от 22.10.2000 г.
Типография БелГУТа, 246022, г. Гомель, ул. Кирова, 34.
Лицензия ЛП № 360 от 26.07.1999 г.