Министерство образования Российской федерации
Донской государственный технический университет
Кафедра «Высшая математика»
Задачи по дискретной математике
Ростов-на-Дону
2001
УДК 517
Составители: Баранов И. В. , Глушкова В.Н., Ларченко В.В.
Задачи по дискретной математике./ ДГТУ, Ростов-на-Дону, 2001, 16 с.
Задания охватывают различные разделы исчисления высказываний математической логики. Предназначены для студентов всех специальностей, на которых изучается курс дискретной математики.
Печатается по решению методической комиссии факультета «Автоматизация и информатика»
Издательский центр ДГТУ, 2001
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.
A |
19.
|
|
5.
A |
20.
|
|
6.
|
21.
|
|
7.
|
22.
|
|
8.
|
23.
|
|
9.
|
24.
|
|
10.
A |
25.
|
|
11.
A |
26.
|
|
12.
|
27.
|
|
13.
|
28.
|
|
14.
|
29.
|
|
15.
|
30.
|
и
и
и
и A
и
и A
B
и
и A
B
и
и В
и
и A
и
и В
и
и A
и
и A
B
и
и A
B
и
и B
и
и
и
и
и
и
и
и
-
Упростить формулы.
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.
-
Записать формулы в ДНФ и СДНФ.
|
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.
|
