, n - M, B = {1, 0}
.
, . .
, . .
, D(x,y): x y , ô, , , .
1) , x y, , x y , , x 1, .. y = x y =1;
2) , y, x , , y =1 x;
3) , x, y , , , ;
4) , y x, x y , , y ô, y.
.
M M :
M = < M; >.
z, , , . . M , .
. M = < M; >,
, ,
, ,
,
:
a) 2 .
b) 2 , .
c) 3 , , .
d) .
.
a) : , .
b) , , , .. , , . ,
|
|
c) , 3 , , , . :
: x, y, z ;
: x, y, z v .
.
d) , , , , ..
.
, , .. , 1. , .
, , . z . ,
U = (*)
, - 3 2 . z, z.
. N = < ô; E (2), S (3), P (3)>,
(*)? (*) , , , ?
. U, z = < E (2), S (3), P (3)>. :
1) , ;
2) , .
, N.
s1 U = ,
U å1. , s1 U = 1 ,
Þ , .
, U N , , . N.
s U . , s2 U = N, U .
, , .
, . . .
.
.
. , . , , , M.
|
|
, M, , M, , , , , . .
. -
. ,
º
º .
x y , z , . º
º ,
, w, u v. , º
º -.
1.
M P = < P; M(1), W(1), C(2), Y(2), G(2)>,
M(x): x ,
W(x): x ,
C(x, y): x y ,
Y(x, y): x , y ,
G(x, y): x y ,
:
a) .
b) , , .
c) .
d) .
e) x .
f) , .
g) x y (.. ).
h) x .
i) y x.
j) y , x.
2. :
a) R ;
b) R ;
c) R ;
d) R .
3. N 1 = < ô; D (2), S (3), P (3)>, D(x,y): x y ,
, , ?
a)
b)
c)
d)
e)
f)
4. N 2 = < ô; S (3), P (3)> , , :
a) x = 0;
b) x = 1;
c) x = 2;
d) x ;
e) x ;
f) x .
5. M = < M; T(0), Q(1), R(1), P(2), S(2)> U = . , , , , M ={ a, b }, T(0) =1, ?
x | Q | R |
a b |
x | y | P | S |
a a b b | a b a b |
6. :
a)
b)
c)
d)
e)
f)
7. - :
a) ;
b) ;
c) .