- •Пояснительная записка
- •Содержание.
- •Практическая работа № 1. Выполнение операций над множествами.
- •1 Цель работы
- •2 Теоретическая часть
- •3 Практическая часть
- •4 Практические задания
- •1 Цель работы
- •2 Теоретическая часть
- •5 Контрольные вопросы
- •Практическая работа № 2. Нахождение таблиц истинности алгебры высказываний.
- •3 Практическая часть
- •Практическая работа № 3. Упрощение формул алгебры высказываний.
- •3 Практическая часть
- •Практическая работа № 4. Решение задач логического характера.
- •4 Практическое задание
- •5 Контрольные вопросы
- •Практическая работа № 5. Нахождение нормальных форм формул алгебры высказываний.
- •1 Цель работы
- •2 Теоретическая часть
- •3 Практическая часть
- •Практическая работа № 6. Минимизация алгебраических преобразований.
- •3 Практическая часть
- •4 Практическое задание
- •5 Контрольные вопросы
- •Практическая работа № 7. Выполнение анализа релейно-контактных схем.
- •1 Цель работы
- •2 Теоретическая часть
- •3 Практическая часть
- •4 Практическое задание
- •4.1 Выполнить анализ схем.
- •5 Контрольные вопросы
- •Практическая работа № 8. Выполнение синтеза релейно-контактных схем.
- •1 Цель работы
- •2 Теоретическая часть
- •3 Практическая часть
- •4 Практическое задание
- •4.1 Построить логическую схему для заданной формулы, преобразовав действия импликации и эквивалентности. Построить логическую схему для днф заданной формулы.
- •5 Контрольные вопросы
- •Практическая работа № 9. Нахождение полинома Жегалкина.
- •1 Цель работы
- •3 Практическая часть
- •Практическая работа № 10. Определение полноты системы булевых функций.
- •3 Практическая часть
- •Практическая работа № 11. Выполнение операций над предикатами.
- •3 Практическая часть
- •4 Практическое задание
- •5 Контрольные вопросы
- •Практическая работа №12 Выполнение равносильных преобразований формул алгебры предикатов.
- •1 Цель работы
- •2 Теоретическая часть
- •3 Практическая часть
- •4 Практическое задание
- •5 Контрольные вопросы
- •Практическая работа №13. Применение и конструирование машин Тьюринга.
- •1 Цель работы
- •2 Теоретическая часть
- •3 Практическая часть
- •4 Практическое задание
- •5 Контрольные вопросы
- •Практическая работа № 14. Применение рекурсивных функций при построении алгоритма.
- •1 Цель работы
- •2 Теоретическая часть
- •3 Практическая часть
- •4 Практическое задание
- •5 Контрольные вопросы
- •Практическая работа №15. Применение марковских подстановок и нормальных алгоритмов к словам.
- •1 Цель работы
- •2 Теоретическая часть
- •3 Практическая часть
- •4 Практическое задание
- •5 Контрольные вопросы
3 Практическая часть
Задача
3.1 Задано универсальное
множество
,
множества
и
.
Изобразить множества с помощью кругов
Эйлера-Венна. Выполнить действия
,
,
,
,
,
,
,
,
,
,
.
Решение. Изобразим данные множества с помощью кругов Эйлера-Венна
Выполним
действия
,
,
,
,
=(
,
,
,
,
=
,
=
.
Задача
3.2 Задано универсальное
множество
,
множества
,
,
,
,
.
Найти множество
.
Решение.
Зададим множества
и
перечислением
элементов
,
.
Выполним последовательно действия:
,
,
,
,
.
Задача 3.3 Доказать справедливость утверждения AB ABAB с помощью таблицы принадлежности и используя законы теории множеств.
Решение.
Составим таблицу принадлежности, рассмотрев четыре возможных случая принадлежности некоторого элемента двум множествам:
A |
B |
AB |
B AB |
AB AB |
AB |
- |
- |
- |
- |
- |
- |
- |
+ |
- |
+ |
+ |
+ |
+ |
- |
- |
- |
+ |
+ |
+ |
+ |
+ |
- |
+ |
+ |
Результаты выполнения действий над множествами в левой и правой частях совпадают, значит, утверждение справедливо.
Применим законы логики.
Возьмем левую часть AB AB данного равенства и сведем ее к правой части AB.
.
Утверждение справедливо.
4 Практические задания
4.1 Задано
универсальное множество
и в нём подмножества А, В. Выполнить
действия А
В, А
В,
А –В,
и
.
Решение представить в виде таблицы.
№ задания |
вариант 1 |
вариант 2 |
вариант 3 |
вариант 4 |
1 |
А=
В= |
А= В= |
А= В= |
А=
,
В= |
2 |
А= ,
В= |
А=, В= |
А= ,
В= |
А= |
3 |
А= ,
В= |
А= ,
В= |
А= , В= |
А= , В= |
4 |
А= В= |
А= ,
В= |
А= ,
В= |
А= , В= |
4.2 Доказать или опровергнуть утверждения
вариант |
утверждение |
1 |
|
2 |
|
3 |
|
4 |
|
4.3 Задано
универсальное множество
и в нём подмножества
,
В
,
С
и D
.
Найти множество
-
вариант
1
2
3
4
