Курсовая Исследование формул алгебры высказываний, номер: 173719

"
Задание

С функцией алгебры высказываний, соответствующей Вашему варианту, выполнить следующие преобразования:

1. Построить таблицу истинности.
2. Привести формулу к булевой форме.
3. Упростить формулу.
4. Реализовать формулу в базисе «?» и «?» и в базисе «?», «?».
5. Найти двойственную формулу по определению двойственной формулы и по булеву принципу двойственности (для булевой формы).
6. Привести формулу к ДНФ, КНФ, СДНФ, СКНФ.
7. Построить для формулы СДНФ и СКНФ по таблице истинности.
8. Построить карту Карно для функции. Минимизировать логическую функцию по карте Карно.
9. Найти минимальное произведение функции по карте Карно.
10. Построить логическую схему для функции в ее булевом виде до упрощения и после упрощения.


Вариант Формула
6 x1?x2?x3?x4?(x1?x2?(?(x3?x4)))

Содержание

Задание 2
Введение 4
1. Построить таблицу истинности 6
2. Привести формулу к булевой форме 6
3. Упростить формулу 7
4. Реализовать формулу в базисе «?» и «?» и в базисе «?», «?» 7
5. Найти двойственную формулу по определению двойственной формулы и по булеву принципу двойственности (для булевой формы) 7
6. Привести формулу к ДНФ, КНФ, СДНФ, СКНФ 7
7. Построить для формулы СДНФ и СКНФ по таблице истинности 8
8. Построить карту Карно для функции. Минимизировать логическую функцию по карте Карно 9
9. Найти минимальное произведение функции по карте Карно 9
10. Построить логическую схему для функции в ее булевом виде до упрощения и после упрощения 10
Список литературы 11
1. Успенский В.А., Верещагин Н.К., Плиско В.Е. Вводный курс математической логики. – М.: Физматлит, 2004. – 128с.
2. Ершов Ю.Л., Палютин Е.А. Математическая логика. – М: Нау¬ка, 1987. – 336с.
3. Д.А. Поспелов. Становление информатики в России. (Очерки истории информатики в России. Новосибирск, НИЦ ОИГГМ СО РАН, 1998). с.7-44.
4. Я. И. Фет. Рассказы о кибернетике. [Электронный ресурс] Доступ: http://modernproblems.org.ru/sience/214-cybernet.html?start=17
5. И.П. Прядко. Применение логики при решении задач энергообеспечения зданий: некоторые аспекты использования логики релейно-контактных схем в сфере строительства. – М.: Вестник МГСУ, 11/2013, с. 248-255.
6. Н. М. Амосов. Алгоритмы разума. Киев: Наукова думка, 1979.
7. Савельев А.Я. Прикладная теория цифровых автоматов. – М.: Высш. шк., 1987. – 272с.



"