Курсовая работа: Основы теории множеств
Описание
Задание к работе. 4
Выполнение задания. 5
Получение СДНФ.. 6
Получение тупиковой ДНФ.. 7
Поиск минимальной ДНФ.. 9
Получение СКНФ.. 12
Получение тупиковой КНФ.. 13
Поиск минимальной КНФ.. 15
Задание к работе
Минимизировать СДНФ (совершенная дизъюнктивная нормальная форма) и СКНФ (совершенная конъюнктивная нормальная форма) булевой функции. Для этого:
- составить СДНФ и СКНФ булевой функции в соответствии с вариантом (таблица 1, ячейки с заливкой не используются);
Таблица 1
Аргумент булевой функции | Старший разряд номера варианта | Младший разряд номера варианта | |||||||||||||||||
0 | 1 | 2 | 3 | 4 | 5 | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | ||||
Значение булевой функции | |||||||||||||||||||
0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 1 | 0 | ||||||||||
0 | 0 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 1 | ||||||||||
0 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | ||||||||||
0 | 0 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 1 | ||||||||||
0 | 1 | 0 | 0 | 1 | 1 | 0 | 1 | 1 | 0 | ||||||||||
0 | 1 | 0 | 1 | 0 | 0 | 1 | 0 | 1 | 1 | ||||||||||
0 | 1 | 1 | 0 | 0 | 1 | 0 | 1 | 0 | 0 | ||||||||||
0 | 1 | 1 | 1 | 1 | 0 | 1 | 1 | 0 | 0 | 0 | 1 | 1 | 0 | ||||||
1 | 0 | 0 | 0 | 0 | 1 | 1 | 1 | 0 | 0 | 0 | 1 | 0 | 1 | ||||||
1 | 0 | 0 | 1 | 1 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 0 | 1 | ||||||
1 | 0 | 1 | 0 | 0 | 1 | 0 | 1 | 0 | 1 | 1 | 0 | 1 | 1 | ||||||
1 | 0 | 1 | 1 | 1 | 0 | 0 | 1 | 1 | 1 | 0 | 1 | 1 | 0 | ||||||
1 | 1 | 0 | 0 | 0 | 1 | 0 | 0 | 1 | 1 | 0 | 1 | 0 | 0 | ||||||
1 | 1 | 0 | 1 | 1 | 0 | 1 | 1 | 0 | 0 | 1 | 0 | 1 | 0 | ||||||
1 | 1 | 1 | 0 | 0 | 1 | 1 | 1 | 0 | 0 | 1 | 1 | 0 | 1 | ||||||
1 | 1 | 1 | 1 | 1 | 0 | 1 | 0 | 1 | 0 | 0 | 0 | 1 | 1 | ||||||
- вычислить минимальные булевы функции и , при этом сопровождать каждый шаг преобразования формул комментариями, ссылаясь, в частности, на правила и законы эквивалентных преобразований.
Выполнение задания
Вариант 34
Задания и методические указания по разделу «Основы теории множеств»
Задание к работе:
Минимизировать СДНФ и СКНФ булевой функции. Для этого:
- составить СДНФ и СКНФ булевой функции в соответствии с вариантом (таблица 1, ячейки с заливкой не используются);
Таблица 1
Аргумент булевой функции | Старший разряд номера варианта | Младший разряд номера варианта | |||||||||||||||||
0 | 1 | 2 | 3 | 4 | 5 | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | ||||
Значение булевой функции | |||||||||||||||||||
0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 1 | 0 | ||||||||||
0 | 0 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 1 | ||||||||||
0 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | ||||||||||
0 | 0 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 1 | ||||||||||
0 | 1 | 0 | 0 | 1 | 1 | 0 | 1 | 1 | 0 | ||||||||||
0 | 1 | 0 | 1 | 0 | 0 | 1 | 0 | 1 | 1 | ||||||||||
0 | 1 | 1 | 0 | 0 | 1 | 0 | 1 | 0 | 0 | ||||||||||
0 | 1 | 1 | 1 | 1 | 0 | 1 | 1 | 0 | 0 | 0 | 1 | 1 | 0 | ||||||
1 | 0 | 0 | 0 | 0 | 1 | 1 | 1 | 0 | 0 | 0 | 1 | 0 | 1 | ||||||
1 | 0 | 0 | 1 | 1 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 0 | 1 | ||||||
1 | 0 | 1 | 0 | 0 | 1 | 0 | 1 | 0 | 1 | 1 | 0 | 1 | 1 | ||||||
1 | 0 | 1 | 1 | 1 | 0 | 0 | 1 | 1 | 1 | 0 | 1 | 1 | 0 | ||||||
1 | 1 | 0 | 0 | 0 | 1 | 0 | 0 | 1 | 1 | 0 | 1 | 0 | 0 | ||||||
1 | 1 | 0 | 1 | 1 | 0 | 1 | 1 | 0 | 0 | 1 | 0 | 1 | 0 | ||||||
1 | 1 | 1 | 0 | 0 | 1 | 1 | 1 | 0 | 0 | 1 | 1 | 0 | 1 | ||||||
1 | 1 | 1 | 1 | 1 | 0 | 1 | 0 | 1 | 0 | 0 | 0 | 1 | 1 | ||||||
- вычислить минимальные булевы функции и , при этом сопровождать каждый шаг преобразования формул комментариями, ссылаясь, в частности, на правила и законы эквивалентных преобразований.
Выполнение задания
Задание к работе:
Найти критический путь по алгоритму сетевого управления проектами (СПУ) для модели, приведенной на рисунке:
Продолжительности работ показаны на рисунке в условных единицах. Различия вариантов представлены удалением нескольких дуг и введением двух фиктивных работ – ожиданий (ячейки с заливкой не используются).
Старший разряд варианта | Удалить дуги ( ) | Младший разряд варианта | Ввести фиктивные работы |
1 | |||
2 | |||
3 | |||
4 | |||
5 | |||
6 | 6 | ||
7 | 7 | ||
8 | 8 | ||
9 | 9 | ||
0 | 0 |
Выполнение задания
Вариант 34
КГТУ
vitalievnatalia
















