2.2.1. . 4 . .
. 1 2 B e = {0, 1, Ø, Ù, Ú, →, Å, , |, ↓} { x 1, x 2, , xn } .
1. 1 .
2. 2 .
3. ( ), - 1 2.
, - . . Ԓ, (2) (7) 1) 9), , Ԕ. Ԕ , Ԓ. - 1 2 - 1 2, . , . , , :
1. B = {0, 1, Ø, Ù, Ú}.
2. B = {0, 1, Ø, Ù, Ú}
3. .
,
1. →, Å, , |, ↓ , - (2) (7). , , , {0, 1, Ø, Ù, Ú}.
2. B = {0, 1, Ø, Ù, Ú}. - 1 3. .
2.1. .
2.2. , - . .
2.3. . .
2.4. , , ( ).
2.5. , (1- ).
2.6. ( ) (2- ).
2.2. . B = {0, 1, Ø, Ù, Ú}. , . *. , , :
|
|
. , -.
. , - .
1- , 2- . . , . , , , , 1 , , . .
1. , , - .
2. , .
3. 1 2 , , , . , .
2.3 2.6 . - 3 . -. K = , - . . x K. K = Kx 1 K = Kx 0 (. (10) xσ). x 1 x 2Ú x 1 (Ø x 2) º x 1, x 1 K x 2 x, - K Ú K º K, K K , x, K. -, . - , , - ( ) , ■
, . -, , . , , - , . , , - , .
7. (x 2→ x 1)((x 2Å1)Ø x 3 Ø x 3). , B = {0, 1, Ø, Ù, Ú}. , , - →, Å, 0, 1, Ø, Ù, Ú B, - (2) (7). x 2→ x 1 Ø x 2Ú x 1 (. (2) a = x 2, b = x 1). (Ø x 2Ú x 1)((x 2Å1)Ø x 3 Ø x 3). x 2Å1 Ø x 2.(. (4) a = x 2). (Ø x 2Ú x 1)(Ø x 2Ø x 3 Ø x 3). Ø x 2Ø x 3 Ø x 3 (Ø x 2Ø x 3)Ø x 3 Ú Ø(Ø x 2Ø x 3)Ø (Ø x 3) (. (5) a = Ø x 2Ø x 3, b = Ø x 3). (Ø x 2Ú x 1) ((Ø x 2Ø x 3) Ø x 3 Ú Ø(Ø x 2Ø x 3)Ø(Ø x 3)). B, 1 ■
|
|
7. (Ø x 2Ú x 1) ((Ø x 2Ø x 3)Ø x 3 Ú Ø(Ø x 2Ø x 3)Ø (Ø x 3)). Ø(Ø x 3). 2.1, (Ø x 2Ú x 1) ((Ø x 2Ø x 3)Ø x 3 Ú Ø(Ø x 2Ø x 3) x 3), .
: Ø(Ø x 2Ø x 3). 2.2, : Ø(ab) = Ø a ÚØ b a = Ø x 2, b = Ø x 3 ( , Ù ). Ø(Ø x 2Ø x 3) = x 2Ú x 3. Ø(Ø x 2Ø x 3) x 2Ú x 3, (Ø x 2Ú x 1)((Ø x 2Ø x 3)Ø x 3Ú(x 2Ú x 3)Ù x 3), , .
, 2.3, , - . 2- : (Ø x 2Ú x 1)((Ø x 2Ø x 3)Ø x 3Ú(x 2Ú x 3)Ù x 3). º (Ø x 2 Ú x 1)(Ø x 2Ø x 3Ø x 3 Ú x 2 x 3 Ú x 3 x 3). . , Ú, , - Ú: , 6 :
Ø x 2Ø x 2Ø x 3Ø x 3 Ú x 1Ø x 2Ø x 3Ø x 3 Ú Ø x 2 x 2 x 3 Ú x 1 x 2 x 3 Ú Ø x 2 x 3 x 3 Ú x 1 x 3 x 3 (17)
(17) , 2.3 .
2.4 Ø x 2 x 2 x 3, - x 2, Ø x 2. (18):
Ø x 2Ø x 2Ø x 3Ø x 3 Ú x 1Ø x 2Ø x 3Ø x 3 Ú x 1 x 2 x 3 Ú Ø x 2 x 3 x 3 Ú x 1 x 3 x 3, (18)
5 .
2.5, , (1- ). -:
Ø x 2Ø x 3 Ú x 1Ø x 2Ø x 3 Ú x 1 x 2 x 3 Ú Ø x 2 x 3 Ú x 1 x 3. (19)
(19) , , ■
7. , - 3. , , - (19):
|
|
Ø x 2Ø x 3 º x 1Ø x 2Ø x 3 Ú Ø x 1Ø x 2Ø x 3;
Ø x 2 x 3 º x 1Ø x 2 x 3 Ú Ø x 1Ø x 2 x 3;
x 1 x 3 º x 1 x 2 x 3 Ú x 1Ø x 2 x 3.
(19) ,
x 1Ø x 2Ø x 3 Ú Ø x 1Ø x 2Ø x 3 Ú x 1Ø x 2Ø x 3 Ú x 1 x 2 x 3 Ú x 1Ø x 2 x 3 Ú Ø x 1Ø x 2 x 3 Ú x 1 x 2 x 3 Ú x 1Ø x 2 x 3.
x 1 x 2 x 3 x 1Ø x 2 x 3,
x 1Ø x 2Ø x 3 Ú Ø x 1Ø x 2Ø x 3 Ú x 1Ø x 2Ø x 3 Ú x 1 x 2 x 3 Ú x 1Ø x 2 x 3 Ú Ø x 1Ø x 2 x 3, (20)
, (x 2→ x 1)((x 2Å1)Ø x 3 Ø x 3) ■
, - B, . (2) (7) 1) 9).
8. (19), 7: Ø x 2Ø x 3 Ú x 1Ø x 2Ø x 3 Ú x 1 x 2 x 3 Ú Ø x 2 x 3 Ú x 1 x 3. . :
Ø x 2Ø x 3 Ú x 1Ø x 2Ø x 3 º Ø x 2Ø x 3 (. a Ú ab º a a = Ø x 2Ø x 3, b = x 1);
x 1 x 2 x 3 Ú x 1 x 3 º x 1 x 3 (. a Ú ab º a a = x 1 x 3, b = x 2).
Ø x 2Ø x 3 Ú x 1Ø x 2Ø x 3 Ú x 1 x 2 x 3 Ú Ø x 2 x 3 Ú x 1 x 3, Ø x 2Ø x 3 Ú x 1 x 3Ú Ø x 2 x 3. , Ø x 2Ø x 3 Ú Ø x 2 x 3 º Ø x 2 ( ), Ø x 2Ø x 3 Ú x 1 x 3Ú Ø x 2 x 3 º Ø x 2 Ú x 1 x 3. , Ø x 2 Ú x 1 x 3 (x 2→ x 1)((x 2Å1)Ø x 3 Ø x 3), (14), 7 ■
, , , , .