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