- •Содержание
- •Введение
- •1.1.1 Базис булевых функций, теорема Поста
- •1.1.2 Таблица истинности заданной функции:
- •1.2.3. Проверка тупиковой днф матрицей импликантных испытаний
- •1.2.6 Проверка полученной тупиковой днф методом Петрика
- •1.3 Схемная реализация минимизированной функции
- •2. Постановка задачи на программирование
- •2.2.2. Организация объекта
- •2.3. Интерфейс программы
- •Список использованных источников
2.3. Интерфейс программы
Интерфейс программы приведен на рис.2.2.
Рисунок 2.2 – Страница интерфейса с таблицей истинности
Дружественный графический интерфейс моей программы ориентирован на то, чтобы пользователь сразу видел доступные ему функции по созданию графа и расчету числовых характеристик.
Верхнее иконочное меню в основном ориентировано на заполнение карты Карно. Выделение ячеек карты для последующего склеивания происходит с автоматическим контролем: если среди выбранных ячеек находятся нули или выбрана группа ячеек недопустимой конфигурации (не прямоугольник, размер не совпадает с 2, 4, 8 и 16 ячейками) склейка не производится, а в Message-окне выводится сообщение об ошибке. Тем не менее перечислим все выполняемые этими кнопками функции (слева направо):
- очистить поле карты Карно;
- сохранить заполненную карту Карно для последующей загрузки и расчетов;
- произвести склеивание;
- режим «бездействия» (верхнее меню неактивно);
- создание «звездочек» - заполнение недопустимых ячеек (по двойному клику мышью единица меняется на звездочку автоматически);
- отмена произведенного склеивания (пользователь снимает выделения, считая, что обнаружил более выгодное объединение)
- вызов справки (обращение к собственному hlp-файлу).
Всплывающее меню позволяет повторить основные функции. Например, как это показано на рис.2.3.
Рисунок 2.3 – Результаты расчетов в многостраничном компоненте
ЗАКЛЮЧЕНИЕ
В результате проделанной работы выполнено теоретическое обоснование для выполнения основных булевских операций, задания таблицы истинности, минимизации функции с помощью карт Карно и методом Квайна-МакКласки.
Разработана программа на языке Object Pascal в среде Delphi 7.0, позволяющая выполнить все это в автоматизированном режиме.
Таблица истинности заданной функции находиться как тестовый пример в папке вместе с приложением. Разработанная программа позволяет выполнить аналогичные расчеты и для булевых функций, набранных вручную через интерфейс с использованием мыши и клавиатуры.
Список использованных источников
Сигорский В.П. Математический аппарат инженера. – Киев: Техника, 1975. – 768 с.
Романовский И.В. Дискретный анализ. Учебное пособие для студентов, специализирующихся по прикладной математике и информатике. – СПб.: Невский диалект, 2001. – 240 с.
Новиков Ф.А. Дикретная математика для программистов. – СПб.-М.-Харьков: Питер, 2001. – 304 с.
Карпов Ю.Г. Теория автоматов. – СПб.-М.-Харьков: Питер, 2002. – 224 с.
Кенту М. Delphi 7 для профессионалов. – М.-СПб.-Харьков: Питер, 204. – 1101 с.
Голованов М., Веселов Е. Создание компонентов в среде Delphi. Руководство разработчика. – СПб.: БХВ-Петербург, 2004. – 320 с.
