Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
KP ATP-131 / Курсовая работа. Еремина А.Б..doc
Скачиваний:
16
Добавлен:
31.05.2015
Размер:
158.21 Кб
Скачать

Заключение

Разрабатывая схему управления феном, использовались материалы математической логики. По условию задачи составляется электрическая схема и таблица истинности. Исходя из этого пишется СДНФ для ПФ, после чего минимизируем с помощью равносильности формул. Эти функции будут являться решением этого задания.

Y0 =¬X1∧ (¬X2∨ X2∧ ¬X3∧ ¬X4)

Y1 = ¬ X1 ∧ X2 ∧ X3 ∧ ¬X4

Y2 = ¬X1 ∧ X2 ∧ X4

Y3 = X1∧ (¬X4 ∨¬X2∧ ¬X3∧ X4)

Y4 = X1 ∧ X2 ∧ ¬X3 ∧ X4

Список литературы

1. Колмогоров А.Н., Драгалин А.Г. Математическая логика. ( 2006 г.)

2. Аляев Ю.А., Тюрин С.Ф. Дискретная математика и математическая логика.( 2006 г.)

3. Гуц А.К. Математическая логика и теория алгоритмов. (2003 г.)

16