Открыть Электронные книги
Категории
Открыть Аудиокниги
Категории
Открыть Журналы
Категории
Открыть Документы
Категории
Вариант 14
Задание 1.
Докажите тождества, используя только определения операций над
множествами.
1) A (B \ C) (A B) \ (A C)
x (A B) \ (A C) x A B и не выполн.(x A C) x A и x B и
(x A или x C) (x A и x B и x A) или (x A и x B и x C)
x A и x B \ C x A (B \ C)
2) (A B) (C D) (A С) (B D)
x, y (A B) (C D) x, y (A B) или x, y (C D) x A, y B
или x C, y D x A или x С, y B или y D x A С, y B D Докажем,
x, y (A С) (B D)
что соотношение верно лишь «в одну сторону».
Пусть A={1}; B={2}; C={3}; D={4}.
<3;2> (A C) (B D), но 3,2 (A B) (C D)
Поэтому (A B) (C D) (A С) (B D)
Задание 2.
Докажите утверждение.
2 2
Задание 3.
Докажите методом математической индукции, что 11n1 12 2 n 1 кратно 133
для всех n 0 .
11
11n 2 12 2 n 1 11 11n 1 144 12 2 n 1 144 12 2 n 1 11n 1
144
133
144 12 2 n 1 11n 1 11n 1 144 (12 2 n 1 11n 1 ) 133 11n 1
144
Задание 4.
A={a,b,c}, B={1,2,3,4}, P1 A B, P2 B 2 . Изобразите P1 , P2 графически.
Найдите [ (P1 P2 ) 1 ]. Проверьте с помощью матрицы [ P2 ], является ли
отношение P2 рефлексивным, симметричным, антисимметричным,
транзитивным?
P1 { a,2 , a,3 , a,4 , c,3 , c,1 , c,4 }
P2 {1,4 , 2,3 , 2,1, 3,4 , 4,2 }
P1 P2
1 1 1
a
2
2 2
b
3 3
c 3
4 4 4
0 0 0 1
0
1 1 1
1 0 1 0
[ P1 ]= 0
1
0
0 0
1 1
0
[ P2 ]= 0 0 0 1
0 1 0 0
[ (P1 P2 ) ]= [P1 P2 ] ([P1 ][P2 ]) 1 T T
0 0 0 1
0 1 1 1
T
1 0 1 0
0 0 0 0 0 0 0 1
1 0 1 1 0 1 0 0
T 1 0 0
1 1 1 1
1 0 1
0 0 0 0
0 1 0 0
1 0 2
1 0 2
www.dismatem.ru – типовые расчеты по дискретной математике
www.nstu.ucoz.ru – помощь студентам НГТУ
0 0 0 1
1 0 1 0
1) [ P2 ]= 0 0 0 1
– по диагонали есть нули P2 – нерефлексивно.
0 1 0 0
0 1 0 0
0 0 0 1
2) [P2 ]
T
[P2 ] – поэтому P2 – несимметрично.
0 1 0 0
1 0 1 0
0 0 0 1 0 1 0 0 0 0 0 0
1 0 1 0 0 0 0 1 0 0 0 0
3) [P2 ] [P2 ] 0 E P2 –
T
*
0 0 1 0 1 0 0 0 0 0 0
0 1 0 0 1 0 1 0 0 0 0 0
антисимметрично.
4)
0 0 0 1 0 0 0 1 0 1 0 0
1 0 1 0 1 0 1 0 0 0 0 2
//[P2 ][P2 ]// // // // //
0 0 0 1 0 0 0 1 0 1 0 0
0 1 0 0 0 1 0 0 1 0 1 0
0 1 0 0
0 0 0 1
[P2 ] P2 - нетранзитивно
0 1 0 0
1 0 1 0
Задание 5.
Найдите область определения, область значений отношения P. Является ли
отношение P рефлексивным, симметричным, антисимметричным,
транзитивным?
P Z 2 , x, y P 2 x 3y
Область определения:
δ p {3n | n Z}
Область значений:
ρ p {2k | k Z}
1) x 6 : 2 6 3 6 6,6 P P – нерефлексивно.
2) <18, 12> P, но <12, 18> P, поэтому P несимметрично.
x, y P 2x 3y
3)
y, x P 2y 3x P – антисимметрично.
x y 0
Задание 6.
www.dismatem.ru – типовые расчеты по дискретной математике
www.nstu.ucoz.ru – помощь студентам НГТУ
Задание 7.
Постройте подсистему B(X), если B= < R; 3 , 2 >, X={1}
3 3
...3 1 1
1
3 3
...3 2 2 3 n , n ω \ {0}
1
Получим, что B(X)= {2 3n | n 0} {1} .
Задание 8.
Используя многомодульную арифметику с вектором оснований ,
вычислить a b , a b , 3 a , 17 (mod ), 2 / 13 5 / 19 . Каков знак числа x ?
1
[3, 5, 11, 2] , a 43 , b 87 , x [ 2, 4, 7, 1]
(a b)(mod ) [ Z 1 , Z 2 , Z 3 , Z 4 ]
Z 1 (43 (mod 3) + 87 (mod 3))(mod 3) = (1 + 0)(mod 3) = 1
Z 2 (43 (mod 5) + 87 (mod 5))(mod 5) = (3 + 2)(mod 5) = 0
Z 3 (43 (mod 11) + 87 (mod 11))(mod 11) = (10 + 10)(mod 11) = 9
Z 4 (43 (mod 2) + 87 (mod 2))(mod 2) = (1 + 1)(mod 2) = 0
(a b)(mod ) [1, 0, 9, 0]
(a b)(mod ) [ Z1 , Z 2 , Z 3 , Z 4 ]
Z 1 (43 (mod 3) – 87 (mod 3))(mod 3) = (1 – 0)(mod 3) = 1
Z 2 (43 (mod 5) – 87 (mod 5))(mod 5) = (3 – 2)(mod 5) = 1
Z 3 (43 (mod 11) – 87 (mod 11))(mod 11) = (10 – 10)(mod 11) = 0
Z 4 (43 (mod 2) – 87 (mod 2))(mod 2) = (1 – 1)(mod 2) = 0
( a b)(mod ) [1, 1, 0, 0]
(3 a )(mod ) [ Z 1 , Z 2 , Z 3 , Z 4 ]
Z 1 ( 3 43) (mod 3) = 0
Z 2 ( 3 43) (mod 5) = 4
Z 3 ( 3 43) (mod 11) = 8
Z 4 ( 3 43) (mod 2) = 1
(3 a )(mod ) [0, 4, 8, 1]
www.dismatem.ru – типовые расчеты по дискретной математике
www.nstu.ucoz.ru – помощь студентам НГТУ
17 1 (mod ) [ Z 1 , Z 2 , Z 3 , Z 4 ]
Z 1 17 1 (mod 3) = 2 (mod 3) = 2
Z 2 17 1 (mod 5) = 3 (mod 5) = 3
Z 3 17 1 (mod 11) = 2 (mod 11) = 2
Z 4 17 1 (mod 2) = 1 (mod 2) = 1
17 1 (mod ) [2, 3, 2, 1]
2 5
(mod ) (2 13 5 19 )(mod ) ((2 13 )(mod )
-1 -1 -1
13 19
(5 19 -1 )(mod ))(mod ) [ Z 1 , Z 2 , Z 3 , Z 4 ]
Z 1 ((2 13-1 ) (mod 3) (5 19 -1 ) (mod 3))(mod 3) = (( 2 1)(mod 3) –
– (5 1)(mod 3))(mod 3) = (2 – 2)(mod 3) = 0
Z 2 ((2 13 -1
) (mod 5) (5 19 ) (mod 5))(mod 5) = (( 2 2)(mod 5) –
-1
2 5
(mod ) [0, 4, 10, 1]
13 19
Очевидно, что q1 2
x ' x 2 [0, 2, 5, 1] или x ' [2, 5, 1]
Вектор оснований сокращаем до r = [5, 11, 2]
Вычисляем q3
(m2 ) 1 (mod r ) 5 1 (mod r ) [9, 1]
Умножаем x '' на полученный элемент, в результате получаем [1, 1]
Поэтому q3 1
Вычитая q3 из последнего выражения, получаем x ''' [0, 0] или x ''' [0]
www.dismatem.ru – типовые расчеты по дискретной математике
www.nstu.ucoz.ru – помощь студентам НГТУ
Находим q 4
(m3 ) 1 (mod r ) 111 (mod r ) [1]
При умножении на x ''' получаем [0]
Отсюда следует, что q4 0
Задание 9.
Даны графы G 1 и G 2 . Найдите G 1 G 2 , G1 G 2 , G1 G 2 , G 1 G 2 . Для графа
G 1 G 2 найдите матрицы смежности, инцидентности, сильных компонент,
маршрутов длины 2 и все маршруты длины 2, исходящие из вершины 1.
G1 G2
www.dismatem.ru – типовые расчеты по дискретной математике
www.nstu.ucoz.ru – помощь студентам НГТУ
1 2 1
4 3 3 2
G1 G 2 G1 G 2 G1 G 2
1 2 1 2
1 2
4 3 3
4 3
G1 G 2
(2,1) (3,1)
(1,1)
(4,1)
(2,2) (3,2)
(4,2)
(1,2)
(3,3) (4,3)
(1,3) (2,3)
Рассмотрим граф G 1 G 2 :
1 1 0 1
1 1 1 0
Матрица смежности A= 0 1 1 1
1 0 1 1
www.dismatem.ru – типовые расчеты по дискретной математике
www.nstu.ucoz.ru – помощь студентам НГТУ
a1 a2 a4
1 a3 2
a11 a a 6 a5
12
4 a9 3
a10 a8 a7
3 2 2 2
2 3 2 2
A
2
– матрица маршрутов длины 2.
2 2 3 2
2 2 2 3
Маршруты длины 2, исходящие из вершины 1:
(1;1;1), (1;1;2), (1;2;3), (1;1;4).
(1;2;1), (1;2;2), (1;4;3), (1;4;4).
(1;4;1).
Задание 10.
Найдите матрицы фундаментальных циклов, фундаментальных разрезов,
радиус и диаметр, минимальное множество покрывающих цепей графа G.
Является ли изображенный граф эйлеровым? Является ли изображенный
граф планарным?
1 2 3 4
8 5
7 6
1 6 2 7 3 8
4
1 9
5 2
4 3
8 5
7 6
10 11 12
Матрица фундаментальных циклов:
1 2 3 4 5 6 7 8 9 10 11 12
1 1 0 0 0 0 1 1 1 1 1 1 1
2 0 1 0 0 0 0 0 1 1 1 1 0
0 0
C= 3
0 1 0 0 0 1 1 1 1 1
4 0 0 0 1 0 0 0 1 1 1 0 0
5 0 0 0 0 1 0 1 1 1 1 0 0
www.dismatem.ru – типовые расчеты по дискретной математике
www.nstu.ucoz.ru – помощь студентам НГТУ
6
1 0 0 0 0 1 0 0 0 0 0 0
7 1 0 1 0 1 0 1 0 0 0 0 0
8 1 1 1 1 1 0 0 1 0 0 0 0
K= 9 1 1 1 1 1 0 0 0 1 0 0 0
10 1 1 1 1 1 0 0 0 0 1 0 0
11 1 1 1 0 0 0 0 0 0 0 1 0
12
1 0 0 0 0 0 0 0 0 0 0 1
Диаметр d(G)=4
Радиус r(G)=2
Граф является эйлеровым, так как степени всех его вершин четные.
Граф планарный.
1 2 3 4
8 7 6 5
Задание 11.
Составьте таблицы истинности формул:
1)
x ( y (y x ))
x y yx y y (y x )
0 0 1 1 1 1
0 1 0 0 1 1
1 0 0 1 0 1
1 1 1 0 1 0
2)
ψ x ( y z | xy)
www.dismatem.ru – типовые расчеты по дискретной математике
www.nstu.ucoz.ru – помощь студентам НГТУ
x y z z xy z | xy y y z | xy ψ
0 0 0 1 1 0 1 1 0
0 0 1 0 1 1 1 1 0
0 1 0 1 0 1 0 1 0
0 1 1 0 0 1 0 1 0
1 0 0 1 0 1 1 1 0
1 0 1 0 0 1 1 1 0
1 1 0 1 0 1 0 1 0
1 1 1 0 0 1 0 1 0
Задание 12.
а)
x y z y x y x z
z
0 0 0 1 0 1 1 1
0 0 1 0 1 1 0 0
0 1 0 0 1 0 1 0
0 1 1 1 0 0 0 1
1 0 0 1 0 0 0 1
1 0 1 0 0 0 0 1
1 1 0 0 0 0 0 1
1 1 1 1 0 0 0 1
Задание 13.
www.dismatem.ru – типовые расчеты по дискретной математике
www.nstu.ucoz.ru – помощь студентам НГТУ
Задание 14.
Найдите сокращенную, все тупиковые и минимальные ДНФ булевой
функции f ( x, y, z ) двумя способами:
а) методом Квайна б) с помощью карт Карно
Каким классам Поста принадлежит эта функция?
а)
x y z f ( x, y , z )
0 0 0 0
0 0 1 1
0 1 0 0
0 1 1 1
1 0 0 1
1 0 1 1
1 1 0 1
1 1 1 0
xyz xyz x yz x yz x yz ~ xz yz
x y x z xyz x yz x yz x yz x
yz x y x z со кращен ная ДН Ф
xyz xyz x yz x yz xy z
xz * *
yz * *
xy * *
xz * *
б)
00 01 11 10
www.dismatem.ru – типовые расчеты по дискретной математике
www.nstu.ucoz.ru – помощь студентам НГТУ
0 1 1
1 1 1 1 x
y
z
x y xz yz x z сокращенная ДНФ
Задание 15.
С помощью карт Карно найдите сокращенную, все тупиковые и
минимальные ДНФ и КНФ булевой функции f (x, y, z, v) , заданной вектором
своих значений.
(1100 0101 0011 0011)
x y z v f ( x, y , z , v )
0 0 0 0 1
0 0 0 1 1
0 0 1 0 0
0 0 1 1 0
0 1 0 0 0
0 1 0 1 1
0 1 1 0 0
0 1 1 1 1
1 0 0 0 0
1 0 0 1 0
1 0 1 0 1
1 0 1 1 1
1 1 0 0 0
1 1 0 1 0
1 1 1 0 1
1 1 1 1 1
www.dismatem.ru – типовые расчеты по дискретной математике
www.nstu.ucoz.ru – помощь студентам НГТУ
00 01 11 10
00 1 1
01 1 1
y
11
1 1
x
1 1
10
00 0 0
01 0 0
y
11
0 0
x
0 0
10
Задание 16.
Является ли полной система функций J={x y, x y} ? Образует ли она базис?
f 1 (x, y) x y
f 2 (x, y) x y
1) f1 (0,0) 0
f 2 (0,0) 1 0 функция f1 (x, y) сохраняет ноль
функция f 2 (x, y) не сохраняет ноль
2) f1 (1,1) 1
f 2 (1,1) 0 1
функция f1 (x, y) сохраняет единицу
3) f1 (0,1) f1 (1,0) функция f 2 (x, y) не сохраняет единицу
f 2 (0,1) f 2 (1,0)
функция f1 (x, y) несамодвойственная
функция f 2 (x, y) несамодвойственная
4)
x y f1 ( x, y) Из таблицы истинности функции f1 ( x, y) видно, что она
0 0 0 является монотонной (из условия x 1 x 2 , y1 y 2 следует, что
0 1 0 f1 ( x1 , y1 ) f1 ( x2 , y 2 ) ).
1 0 0
1 1 1 f 2 (0,0) f 2 (1,1) функция f 2 (x, y) немонотонная
Функция Классы
P0 P1 S M L
f1 (x, y) да да нет да нет
f 2 (x, y) нет нет нет нет нет
Задание 17.
С помощью алгебры логики проверьте истинность соотношения
(A B) \ (A C) A \ (B C) для любых множеств A, B, C. Если соотношение неверно,
постройте контрпример.
(x y) (x z)
ψ x (y z)
x y z x y x z (x z) y z (y z)
0 0 0 0 0 1 0 0 1 0
0 0 1 0 1 0 0 1 0 0
0 1 0 1 0 1 1 1 0 0
0 1 1 1 1 0 0 1 0 0
1 0 0 1 1 0 0 0 1 1
1 0 1 1 1 0 0 1 0 0
1 1 0 1 1 0 0 1 0 0
1 1 1 1 1 0 0 1 0 0
Так как таблицы истинности формул и не совпадают, то соотношение
неверно.
Контрпример: Пусть A {1} , B={2}, C={3}.
Тогда (A B) \ (A C) {1;2} \ {1;3} {2}
A \ (B C) {1} \ {2;3} {1}