- •Вопрос 5. Множества. [л.3, стр. 5, №1.2 (14)].
- •Вопрос 6. Теория отношений. [л.3, стр. 11, №2.2 (19)].
- •Вопрос 7. Отображения. Функции. [л.3, стр. 14, №3.2 (5)].
- •Вопрос 8. Отношения порядка. [л.3, стр. 16, №4.1 (12)].
- •Вопрос 9. Решетки. [л.3, стр. 19, №5.2 (6)].
- •Вопрос 10. Для графа g найти диаметр графа, радиус графа, центр графа, эйлеров обход, гамильтонов путь и цикл. [л.3, стр. 29, №6.2 (14)].
- •Вопрос 11. Булева алгебра. [л.3, стр. 35, №7.4 (14)].
- •Вопрос 12. Алгебра высказываний. [л.3, стр. 37, №8.1 (4)].
Вопрос 10. Для графа g найти диаметр графа, радиус графа, центр графа, эйлеров обход, гамильтонов путь и цикл. [л.3, стр. 29, №6.2 (14)].
Диаметр графа G равен d(G)=max d(vi,vj)=3. Найдем радиус графа: r(v1)=3, r(v2)=3, r(v3)=3, r(v4)=3, r(v5)=3, r(v6)=3, r(v7)=3. Радиус графа G равен r(G)=3. В графе G все вершины являются центром графа. Так как три вершины имеют нечетные степени, следовательно в графе G эйлерова обхода нет. Найдем хотя бы один гамильтонов цикл: v5-v2-v3-v7-v6-v4-v1-v5.
Вопрос 11. Булева алгебра. [л.3, стр. 35, №7.4 (14)].
Найти минимальные ДНФ и КНФ булевой функции f(x, y, z, t)=1 на наборах {0, 1, 2, 3, 8, 10, 11}.
Построим таблицу истинности данной функции:
-
x
y
z
t
f
0
0
0
0
0
1
1
0
0
0
1
1
2
0
0
1
0
1
3
0
0
1
1
1
4
0
1
0
0
0
5
0
1
0
1
0
6
0
1
1
0
0
7
0
1
1
1
0
8
1
0
0
0
1
9
1
0
0
1
0
10
1
0
1
0
1
11
1
0
1
1
1
12
1
1
0
0
0
13
1
1
0
1
0
14
1
1
1
0
0
15
1
1
1
1
0
Используем карты Карно для нахождения минимальных форм.
zt\xy |
00 |
01 |
10 |
11 |
00 |
1 |
0 |
1 |
1 |
01 |
1 |
0 |
0 |
0 |
10 |
1 |
0 |
0 |
0 |
11 |
1 |
0 |
1 |
0 |
S3
S1 S2
S1=¬(xy)¬zt + ¬(xy) z¬t + ¬(xy)zt + ¬(xyzt) = ¬(xy);
S2=x¬y¬(zt) + x¬y zt = x¬y;
S3= x¬y¬(zt) + xy¬(zt) = x¬(zt).
Составляем минимальную ДНФ: ¬(xy) ˅ x¬y ˅ x¬(zt).
zt\xy |
00 |
01 |
10 |
11 |
00 |
1 |
0 |
1 |
1 |
01 |
1 |
0 |
0 |
0 |
10 |
1 |
0 |
0 |
0 |
11 |
1 |
0 |
1 |
0 |
S3
S1 S2
S1=x¬yzt + x¬y z¬t + x¬y¬zt + x¬y¬(zt) = x¬y;
S2=¬(xy z)t + ¬(xy zt) =¬ (xyz);
S3= ¬xyz¬t +¬(xy)z¬t = ¬ xz¬t.
Составляем минимальную КНФ: x¬y ˄ ¬ (xyz) ˄ ¬ xz¬t.