Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
КУРСОВАЯ РАБОТА Мат лог АМ111.doc
Скачиваний:
1
Добавлен:
01.01.2020
Размер:
526.34 Кб
Скачать

Практическая часть курсовой работы по дисциплине "Математическая логика и теория алгоритмов" Задание 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