
Практическая часть курсовой работы по дисциплине "Математическая логика и теория алгоритмов" Задание 1
Исследовать систему булевых функций на полноту. Является ли она базисом.
|
|
|
|
|
|
1 |
Артемов |
|
16 |
Стародубцев |
|
2 |
Божко |
|
17 |
Трофимов |
|
3 |
Болдинов |
|
18 |
Филимонов |
|
4 |
Партюшко |
|
19 |
Холявкин |
|
5 |
Глотов |
|
20 |
Шапаренко |
|
6 |
Гурская |
|
21 |
Нагорный |
|
7 |
Донцов |
|
22 |
Хребто |
|
8 |
Завозова |
|
23 |
|
|
9 |
Копытин |
|
24 |
|
|
10 |
Левкина |
|
25 |
|
|
11 |
Лутовин |
|
26 |
|
|
12 |
Лушин |
|
27 |
|
|
13 |
Плотников |
|
28 |
|
|
14 |
Позднякова |
|
29 |
|
|
15 |
Пополитова |
|
30 |
|
|
Задание 2
С помощью эквивалентных преобразований привести формулу к ДНФ, КНФ; привести к СДНФ, СКНФ с помощью аналитического способа и табличного способа. Проверить линейность булевой функции, заданной этой формулой, с помощью полинома Жегалкина и методом неопределенных коэффициентов.
1 |
|
16 |
|
2 |
|
17 |
|
3 |
|
18 |
|
4 |
|
19 |
|
5 |
|
20 |
|
6 |
|
21 |
|
7 |
|
22 |
|
8 |
|
23 |
|
9 |
|
24 |
|
10 |
|
25 |
|
11 |
|
26 |
|
12 |
|
27 |
|
13 |
|
28 |
|
14 |
|
29 |
|
15 |
|
30 |
|
Задание 3
Минимизировать булеву функцию двумя способами:
а) методом Квайна;
б) геометрическим методом.
Вариант |
|
1. |
|
2 |
|
3. |
|
4. |
|
5 |
|
6 |
|
7. |
|
8. |
|
9 |
|
10. |
|
11. |
|
12. |
|
13. |
|
14 |
|
15. |
|
16. |
|
17. |
|
18. |
|
19 |
|
20 |
|
21 |
|
22 |
|
23 |
|
24 |
|
25 |
|
26 |
|
27 |
|
28 |
|
29 |
|
30 |
|