- •Н.И. Калядин
- •Н.И. Калядин
- •Глава 1. Функции алгебры логики
- •1.1. Основные определения
- •Геометрическое представление фал.
- •2.3 Задачи и упражнения iiIго типа *.
- •1.4 Свойства конъюнкции, дизъюнкции и отрицания.
- •1.5 Свойства сложения по модулю два, импликации и функции Шеффера и Вебба.
- •Алгоритм приведения формулы к днф.
- •Совершенные дизъюнктивные и конъюнктивные нормальные формы.
- •Алгоритм построения скнф.
- •Алгоритм нахождения сднф путем тождественных преобразований
- •Совершенно полиноминальная нормальная форма (спнф).
- •Алгоритм построения спнф.
- •Глава 2. Задания к практическим занятиям, выполнению расчетно-графических работ и для самостоятельной работы по функциям алгебры логики.
- •2.1 Задачи и упражнения iго – типа *.
- •1.8 Методы определения линейности фал.
- •1. Использование таблиц истинности.
- •Замечательное свойство классов фал (классов Поста):
- •1.9 Функционально замкнутые классы. Критерий полноты *.
- •2. Использование полинома Жегалкина.
- •1.7 Основные классы функций алгебры логики
- •Алгоритм построения сднф.
- •2.2 Задачи и упражнения iiго – типа *.
- •1.6 Аналитические формы представления фал. Дизъюнктивные и конъюнктивные нормальные формы
- •1.3 Выражение одних элементарных функций через другие
- •1.2 Элементарные функции алгебры логики
- •Предисловие.
- •Список литературы.
Список литературы.
1. Акимов. О.Е. Дискретная математика: логика, группы, графы – 2-е изд., доп. – М.: Лаборатория базовых знаний , 2003. – 376с.
2. Белоусов А.И., Ткачев С.Б. Дискретная математика: Учеб. для вузов – М.: Изд-во МГТУ им. Н.Э. Баумана, 2004. – 744с.
3. Гаврилов Г.П., Сапоженко А.А., Сборник задач по дискретной математике. – М.: Наука, 1977. – 368с.
4. Гиндикин С.Г, Алгебра логики в задачах. – М.: Наука, 1972. – 288с.
5. Горбатов В.А. Дискретная математика: Учеб. для студентов втузов. – М.: ООО “Изд-во АСТ”: ООО “Изд-во Астрель”, 2003. – 447c.
6. Кузнецов О.П. Адельсон-Вельский Г.М. Дискретная математика для инженера. – М.: Энергоатомиздат, 1988. – 480с.
7. Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов. – М.: Наука, 1975. – 240с.
8. Нефедов В.Н., Осипова В.А. Курс дискретной математики. Учеб. пособие. – М.: Изд-во МАИ, 1992 – 264с.
9. Поспелов Д.А. Логические методы анализа и синтеза схем. – М.: “Энергия”, 1968. – 228с.
10. Рояк М.Э., Рояк С.Х. Математическая логика (Методические указания, часть 1) – Новосибирск: Изд-во НГТУ, 1998. -61с.
11. Судоплатов С.В., Овчинникова Е.В. Дискретная математика: Учебник. – М.: ИНФРА – М; Новосибирск: Изд-во НГТУ, 2005. – 384с.
12. Яблонский С.В. Введение в дискретную математику: Учеб. пособие для вузов. – М.: Высш. шк.; 2003. – 384с.
13. Яблонский С.В., Гаврилов Г.П., Кудрявцев В.Б., Функции алгебры логики и классы Поста. – М.:Наука, 1966. - 118с.
*Задачи взяты из книги [1].
*Задачи взяты из учебника [5].
*Задачи взяты из книги[4].
*Задачи взяты из учебника [10] .
1. + - сложение по модулю 2. 2. – разность