, () (). , , , , . .
, , , , . : ,
35 . 40 . , .
, , . : -- 500 . 500 . 500 . , 500 . , , , . , , 500 .
, . , . . , , .
, , . , , . , : , , , , .
. , :
1. , , . . , . (), =>.
2. , , . . , . (>), =>.
|
|
3. , , . . , . (), =>.
.
( | -] | 1, => | ( | -), | = | ||
( ->. ), ^ ill
10 1
.
1 , . . , . , , , 1 .
2 . , . , 2 .
3 . . , , , 3 . : , 3 . . , 3 , . , . , .
. , , . .
, .
, . , , . , , , . , , , . , , , . , , . .
|
|
. : , , (). , (). , . , , .
. , , . , .
-,), (~, -> -,), (d v -) => ( -> ) | |||||
~,( -,)], 1 | _, --, | , 1 | D v -,] => 0 [ -* d] | ||
^-)1. 1 | _, ^-, | , 1 | d v -,] => 1 [], \d] \-> | ||
-JS], 1 | _, - -, | , 1 | d v -,cl => 1 [], [d! [-, | ||
-,Bl, 1 | -,-*-, | , 1 | D v -,] => 0 [d] [ | ||
-&], 1 |
t
-iC -> -. | -,] [v | |||
-], 1 | ||||
], [] h |
:
-{ -,), (-, --), (d v -) => ( - d)
11001 10 110 0110 100
. , , . , . , . , .
4.1. , .
1. , . . , .
2. , , . . , .
3. , . , , .
4. , . , . , . , .
4.2. , :
1. -iA->B,-iA->-iB= A.
2. A-C,B->C,AvB=>C.
3. ^AvB,^(BA^C),-iD->-iC,Ev-iD=>-iE->-iA.
4. -iB - -i, v -iB, -i(-iD ), D -> E => -( -iE).
5. -i
4.3. . , , , . , , , , , . , , , . , , , . . , , , . : , . , : ,
|
|
.
.
4.2.
, . , . , . . , , , , , . , , , . , , , : , . . ,
? , , .
. , . , , , . .
. ; , , . , . :
[] --iA => [] => , . - -,
-iA
[] => ; => [],=>
[] => , => , A vB => [] => A vB;B => A vB
[] -> , => [] , ^ => , -
=> ,
[] . , , iA, (...) , , , : -iB.
|
|
- , -JB | => , | [] | |
1. | -> | ||
2. | ~, | ||
3. | -,-, | ... | |
4. | (3), | ||
5. | (1,4), | ||
(1), (5) . |
[] . , , , .. AvB=>C, : , .. =>, , .. =.
A v , -. => [] | ||||
1. | 1. 2. -,1 3. -,j (1>, (3) | 3 V ... . | 2. 1. 2. -, 3. ^ (1), (2) | ... . |
[] [].
[] []. , , , .. =>-, , , .. ,
-,-=>- []
-> , -> , => [] []
1. -
2. -
3.
4. (1,3), []
5. (2,4), []
. . , , .
-.( -), - => -, -> -iA | ||
-i(A -,); - , -, => -, | [] | |
1. -( -,) | 5. | (4), |
2. - | 6. -iB | (2, 3), |
3. -, | 7. -, | (5, 6), |
4. --, ... | (), (7) - | . |
. , , . . , , . , , > , => , , . , , .
- -,(( -,c)v )} -> => - ( -> ) | |||
- -,(( -,) v d) - , => - | [] | ||
-> -4( -,c)v D\ - , , => | [] | ||
1. -> -(( / | \-,C)vD) 6. -,(( A-,C)vD) (1, 4), | ||
2. - | 7. -iC (2, 5), | ||
3. | 8. -iC (3, 7), | ||
4. | 9. (BA-,c)vD (8), | ||
5. -, | ... (6), (9) . | ||
.
4.4. :
- v , -, -> -,, -,(( -nD) v ) =* -,(( ->) v ) 1- -,, -, - -,, -,(( -iD) v ) = -,(( -,) v )
- , -, -> -,, ( -,d) v ) => -,(( ^d) v e)
I. 1. -.
2. - - -.
3. -,(( -,)v )
4. -,-i((aa-,d)ve)
5. (aa-,d)ve
6.1. -^D 6.2.
7.1. 7.2. (CA^D)vE.
(?) (?)
. 1.
2. -, -> ~,
3. -,((ca-d)ve)
4. -,-,((aa-,d)ve)
5. (aa-,d)ve
6.1. ^ 6.2.
7.1. ^D 7.2. (CA-iD)vE
8.1. (?)
9.1. -0>
10.1. (CA-,D)vE (?)
|
|
4.5. . .