www.dismatem.

ru – типовые расчеты по дискретной математике

www.nstu.ucoz.ru – помощь студентам НГТУ

Вариант 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

Пусть 2 - мощность произвольного отрезка [a,b]. Извлечем из его середины

точку. Так как извлечение одного элемента из бесконечного несчетного
множества не меняет его мощности, то мощность оставшейся части будет 2
. Проведем аналогичную операцию для двух получившихся частей. После
извлечения из каждой по одной точке, получим, что мощность оставшейся
части будет 2 . Повторим аналогичную операцию счетное бесконечное
количество раз. Получим, что мощность отрезка, из которого вынули ω
точек, составляет 2 . Тогда, добавив к 2 количество точек, равное ω ,
получим исходный отрезок, мощность которого 2 . Иными словами,
2    2 .

Задание 3.
Докажите методом математической индукции, что 11n1  12 2 n 1 кратно 133
для всех n  0 .

Найдем базис индукции:

n=1
112  12  133 – кратно 133
Предположим, что 11n 1  12 2 n 1 кратно 133 для некоторого n.
Докажем, что 11n 2  12 2 n1 также кратно 133.
www.dismatem.ru – типовые расчеты по дискретной математике
www.nstu.ucoz.ru – помощь студентам НГТУ

 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 

12 2 n 1  11n 1 – кратно 133 по предположению индукции

133  11n 1 – кратно 133.

Значит, так как справедливость утверждения доказана для n+1, то верно

утверждение, что 11n 1  12 2 n 1 кратно 133 для всех n  0 .

Задание 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 

4) Так как  18 , 12  P,  12, 8  P, при этом,  18, 8  P, поэтому P –

нетранзитивно.

Задание 6.
www.dismatem.ru – типовые расчеты по дискретной математике
www.nstu.ucoz.ru – помощь студентам НГТУ

Является ли алгеброй следующий набор B=  Q;  , , 2 ?

Так как константа 2 из набора не принадлежит носителю, то есть

2  Q , то набор B=  Q;  , , 2  не является алгеброй.

Задание 7.
Постройте подсистему B(X), если B= < R; 3 , 2 >, X={1}

Подставим элементы из X в термы из B.

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

– (5  4)(mod 5))(mod 5) = (4 – 0)(mod 5) = 4

Z 3  ((2  13 -1
) (mod 11)  (5  19 ) (mod 11))(mod 11) = (( 2  6)(mod 11) –
-1

– (5  7)(mod 11))(mod 11) = (1 – 2)(mod 11) = 10

Z 4  ((2  13 -1
) (mod 2)  (5  19 ) (mod 2))(mod 2) = (( 2  1)(mod 2) –
-1

– (5  1)(mod 2))(mod 2) = (0 – 1)(mod 2) = 1

 2 5 
  (mod  )  [0, 4, 10, 1]
 13 19 

Определим знак числа x  [ 2, 4, 7, 1]

Очевидно, что q1  2
x '  x  2  [0, 2, 5, 1] или x '  [2, 5, 1]
Вектор оснований сокращаем до  r = [5, 11, 2]

Для вычисления q 2 вычислим

(m1 ) 1 (mod  r )  31 (mod  r )  [2, 4, 1]
Умножим x ' на этот элемент, в результате получим [4, 9, 1]
Таким образом, q2  4
Вычитая q 2 из последнего выражения, получаем x ''  [0, 5, 1] или x ''  [5, 1]
Вектор оснований  r = [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 – помощь студентам НГТУ

Вектор оснований  r = [2]

Находим q 4
(m3 ) 1 (mod  r )  111 (mod  r )  [1]
При умножении на x ''' получаем [0]
Отсюда следует, что q4  0

Поэтому число x – неотрицательное.

Задание 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

a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12

1 1 1 1 0 0 0 0 0 0 0 1  1
 
2 0 1 1 1 1 1 0 0 0 0 0 0 
– матрица
3 0 0 0 0 1 1 1 1 1 0 0 0 
 
4 
0 0 0 0 0 0 0 1 1 1 1 1 
инцидентности
2 3
1 0 0 0 1 1 1 1
0 1 0 1 1 1 1
0
       
0 1 0 0 1 1 1 0 1 1 1 0 1 1 1 0
    
0 0 1 0  0 1 1 1 0 1 1 1  0 1 1 1
       
0 0 0 1   1 0 1 1   1 0 1 1 1 0 1 1 
2 1 0 1 3 2 2 2  7 7 6 7 5 3 2 3
       
1 2 1 0  2 3 2 2  7 7 7 6  3 5 3 2
B=E+A+ A  A =   0
2 3
1 2 1 2
 
2 3 2  6 7 7 7 2

3 5 3

       
1 0 1 2  2 2 2 3  7 6 7 7 3 2 3 5
7 7 6 7  12 10 8 10 
   
7 7 7 6  10 12 10 8 
 
6 7 7 7  8 10 12 10 
   
7 6 7 7  10 8 10 12 
1 1 1 1
 
1 1 1 1
С  //B//  
1 1 1 1
 
1 1 1 1
S  C  CT 
1 1 1 1 1 1 1 1 1 1 1 1
     
1 1 1 1 1 1 1 1 1 1 1 1 – матрица сильных компонент.
  
1 1 1 1 1 1 1 1 1 1 1 1

1     
 1 1 1
 1
 1 1 1
 1
 1 1 1

www.dismatem.ru – типовые расчеты по дискретной математике
www.nstu.ucoz.ru – помощь студентам НГТУ

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

Получим остов графа. Для этого удалим из графа 12–8+1=5 ребер.

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 – помощь студентам НГТУ

Матрица фундаментальных разрезов:

1 2 3 4 5 6 7 8 9 10 11 12

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.

3,2,6,3,7,2,1,5,6,7,8,4,3

Граф является эйлеровым, так как степени всех его вершин четные.
Граф планарный.

1 2 3 4

8 7 6 5

Задание 11.
Составьте таблицы истинности формул:

1)
  x  ( y  (y  x ))
x y yx 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) и  =(x  y)  (x  z)
а) составлением таблиц истинности
б) приведением формул к СДНФ или СКНФ с помощью эквивалентных
преобразований.

а)

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

Так как столбцы  и  не совпадают, то формулы неэквивалентны.

б)
  x  (y  z) ~ x  (( y  z)(y  z )) ~ x  (( y  z)(y  z)) ~ x  (yz  yz) ~
~ xy z  xyz  СДНФ
ψ  (x  y)  (x  z) ~ (x  y)  (x  z) ~ (x  y  (x  z))( (x  y)  x  z) ~
~ (x  y  xz )( xy  x  z) ~ xyx  xx  xz  xyy  xy  yz  xzxy  xzx  xzz ~
~ x  xz  xy  yz  xyz ~ xyz  xyz  x yz  x yz  xyz  xyz  СДНФ
Так как СДНФ не совпадают, то формулы неэквивалентны.

Задание 13.
www.dismatem.ru – типовые расчеты по дискретной математике
www.nstu.ucoz.ru – помощь студентам НГТУ

С помощью эквивалентных преобразований приведите формулу к ДНФ,

КНФ, СДНФ, СКНФ. Постройте полином Жегалкина.
((x  y)  z )  y ~ ( (x  y)  z )  y ~ ( xy  z )  y ~ (
 y ) ~ (((x  y)  z)  y)(xy  z  y ) ~ (xz  yz  y)(x 
~ (xz  y)(x  y  z )(x  y  z ) ~ (x  y  z)(x  y  z )(
 (x  y  z )  СКНФ ~ (xz  y)(y  z) ~ (x  y)(y  z)(
~ x yz  xzz  y y  yz  ДНФ ~ x yz  xyz  x yz  СДН
~ xz(y  1)  xyz  yz(x  1) ~ xyz  xz  xyz  xyz 
 xz  полином Жегалкина

Задание 14.
Найдите сокращенную, все тупиковые и минимальные ДНФ булевой
функции f ( x, y, z ) двумя способами:
а) методом Квайна б) с помощью карт Карно
Каким классам Поста принадлежит эта функция?

f (0,0,0)  f (0,1,0)  f (1,1,1)  0

а)
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 * *

тупиковые и минимальные ДНФ.

xz  x z  yz 

xz  x z  x y 


б)
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  сокращенная ДНФ

тупиковые и минимальные ДНФ.

xz  x z  yz 

xz  x z  x y 


1) f (0,0,0)  0  функция сохраняет ноль

2) f (1,1,1)  0  1  функция не сохраняет единицу
3) f (0,0,0)  f (1,1,1) – функция несамодвойственная.
4) f (0,0,1)  f (1,1,1) – функция немонотонная
xz  x z  x y ~ ( xz  x z  xzx z )  x y ~ ( xz  x z )  x y ~ xz  x z  x y  xzx y 
 x zx y ~ xz  z  xz  x  xy  x  x(y  1)(z  1) ~ xy  z  xyz  xy  xz 
5)
 x ~ xyz  xz  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

xz  yzv  xyv  xzv  xyz – сокращенная ДНФ.

1) xz  xyz  xzv  yzv

2) xz  xyz  xyv
1), 2) – тупиковые ДНФ.
2) – минимальная ДНФ.
00 01 11 10

00 0 0

01 0 0
y
11
0 0
x
0 0
10

( x  z)( y  z  v)(x  y  v)(x  z  v)(x  y  z) - сокращенная КНФ.

1) ( x  z)(x  y  z )(x  z  v)(y  z  v)
2) ( x  z)(x  y  z )(x  y  v)
www.dismatem.ru – типовые расчеты по дискретной математике
www.nstu.ucoz.ru – помощь студентам НГТУ

1), 2) – тупиковые КНФ

2) – минимальная КНФ.

Задание 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) немонотонная

5) f1 (x, y)  x  y  xy функция f1 (x, y) нелинейная, т. к. полином Жегалкина

нелинейный
f 2 (x, y)  x  y  x  y  x  y  xy  x  1  y  1  xy  x  y  1  xy 
 1 - функция f 2 (x, y) нелинейная , так как полином Жегалкина нелинейный

Функция Классы
P0 P1 S M L
f1 (x, y) да да нет да нет
f 2 (x, y) нет нет нет нет нет

Так как для каждого из классов в системе J найдется функция, не

принадлежащая этому классу, то система булевых функций J полная. Так как
при удалении f1 (x, y) система остается полной, то она не образует базис.
www.dismatem.ru – типовые расчеты по дискретной математике
www.nstu.ucoz.ru – помощь студентам НГТУ

Задание 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}