1. Математические основы алгебры логики……………………1
1.1.Формальное определение алгебры логики ……………...1
1.2. Аксиомы алгебры логики…………...……………………3
1.3. Теоремы алгебры логики…………………….…………..4
1.4. Законы алгебры логики……………………………...…...4
1.5.Основные понятия и определения……………………..…6
1.6.Формы представления логических функций…………...10
1.6.1. Словесная форма представления логических
функций……………………………...………………..10
1.6.2. Табличная форма представления логических
функций ………………..……………………………11
1.6.3. Аналитическая форма представления логических
функций………………………………………………...15
1.6.4. Геометрическая и кубическая формы представления
логических функций ……………………………….20
2. Задание закона функционирования цифровых автоматов
посредством временных диаграмм…………….…...……….22
3. Проектирование логических схем с помощью функций
алгебры логики……………………………………………….25
4. Варианты и задания контрольной работы №1 …………...28
5. Библиографический список………………………………….31
Основы булевой алгебры и формализации логических функций
МЕТОДИЧЕСКИЕ УКАЗАНИЯ
по дисциплине «Теория автоматов» для студентов
специальности 230101
"Вычислительные машины, комплексы, системы и сети"
заочной формы обучения
Составители:
Акинина Юлия Сергеевна
Тюрин Сергей Владимирович
В авторской редакции
Подписано к изданию 24. 09. 2009.
Уч.-изд. л. 1,9. “С”
ГОУВПО «Воронежский государственный
технический университет»
394026 Воронеж, Московский просп., 14