Содержание
- Введение 1
- Теоретические основы булевой алгебры 2
- Представление логических выражений 3
- Алгоритм построения таблиц истинности 4
- Анализ типовых ошибок 5
- Примеры построения таблиц 6
- Верификация результатов 7
- Рекомендации по автоматизации 8
- Заключение 9
- Список литературы 10