Учебная работа № 4495. «Курсовая Исследование формул алгебры высказываний
Учебная работа № 4495. «Курсовая Исследование формул алгебры высказываний
Содержание:
»
Задание
С функцией алгебры высказываний, соответствующей Вашему варианту, выполнить следующие преобразования:
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с.
»
Выдержка из похожей работы
промежуточных контролей без уважительной
причины не допускается,
КАРТА УЧЕБНО-МЕТОДИЧЕСКОЙ ОБЕСПЕЧЕННОСТИ
ДИСЦИПЛИНЫ3,1, Список литературыТаблица
1
№
Название,
год и место издания
1,
Основная
литература
2
Информатика,
Базовый курс Учебник / под редакцией
Н,В, Макаровой- СПб, Питер, 2001, 768 с,
3
Сетевые
технологии, учебный практикум Соловьева
Л,Ф, Санкт-Петербург «БВХ-Петербург»
4
Агальцев
В,П, Базы данных: Учебное пособие, М,,
Мир, 2002,-376 с,, илл,
5
Информатика
4-издание Степанов А,Н, Спб
