, , , . . . : . . : --.
. , . : , 3 , . , . : , , , . . , .
( ), ( ), ( ») ( , ).
, . -, . : , . , . , ». , , . . , . , , , ,
, . , . , , . , . : . , . , , . , :
|
|
1. : , , ,...
2. : - , ^ , v , v , -> , <-> -.
3. : 1 , 0 .
4. : ( ,) .
: , , ...; , , , ; , ; ... ..., ... ; , ... ..., ; , , . , . , . , .
.
1. .
2. , .
3. , ( ), (Av ), (AVB), (->), (<-) .
4. , 1-3.
, , . , : (()), ((-->)(-<->)), (-(-1-,)).
:
(-,)^ ( A v -.^ (-(- B)c)l
, .
, , . , , , , : ( -> b)v ( - ); , , , , : aa-i(b~a); , : <-> (-iB ).
.
3.1. , .
( -> -> ); ( -> ( v d)); -> ( -> ( -> d));
|
|
- v -( ); ((( -> ) - C)D v e);
-i(-i(-r-i(-iA v -,) -> -{- D))); -.();
(((( -) -i)C <-> d); (A v ( v (-JB v ( v -iD)))).
3.2. .
, , , D, , , v, (, (,),); , , , -i, -i, -, <>, (,);
, , , -i, -i, -i, v -> )>); , , , -,, , v, (,);
, , , , , -i, -i, -i, -i, V, v, -, 4-, (, (,),),).
3.3. , , , D , . .
-> ( -i(-,C -.D)); ( <- ) ((-, v -iC) - (-. -)));
-> ( -> ( -+ ( )));
( <- (av-id)) ((-.d v -^) -^ (- -)).
3.4. - , .
-> ^(- v -); ( -> ( ^ d)); (- -,) <-> (-, -> -iD); -,( -> (-, v -.)); - ( - ( -> d)); -i(-,A -> -.( v
3.5. , 3.3.
3.2.
: , , ; . , ; .
, . , 2 + 2 = 4, ? . , : " + yn= zn, >2>>. 2 : 2 + 42 = 52. , . , ; . , , . , , , , , . , , .
, , , , : ? , , : . , . , , , .
, , , . . , . , , , . , : . : ; , ; , ;
|
|
. .
, , , , , , - . , , , . , : , . : , - , , . , : , . ... ... , , () , (-) . , , . , , , , , .
, . 1 , . :
AvB AvB - <-
100 001 000 | 110 011 000 | 110 011 000 | 100 011 010 | 100 001 010 |
, .
, , . , , , , , (A>B)v (> ), :
(-) (-) (a->b)v(b-> )
, .
. ? . , , , . , , , . , , , .
|
|
. , , , ( iB)v ( ), :
- -,( -> ) -1 v ( -> )
. ? ( , ). , , . , ,
, , . , : , , . . , , : !
, , . , ? m m = 2". , 8, 4 16, . . , , . 4 , , , 16. 8 1 8 λ; 4- 1 4- λ; 2- 1 2- λ; , 1 λ . , .
. ,
<-(-! ), , :
) <- (-,)
.
, . .
, . .
, , . .
. , . ,
|
|
. , , , . , , . . , , , . , , . , . , , , , . , .
. . , ; , , , (Av iA) i(AA iA), , . ( , .) ,
. , .
, , , . , , , , . , , 32 . . , ? ! : , , . , , , , , , . , , : , , , , . .
. , ?
. :
(( -> ) ( - -, )) - -, .
: , , , . .
[( ->)( -> -,)-, - ] 1 [( - )( -> -)], [-,] | [-] | ||
1[( 1[] | ->B)j, l[(A-*^B)], 1[] . 1Ȼ1 | [] [-] | |[- |
1[] | . [] | [-i]. |
:
(( - )( -> -)) -> -, , 11111110 001 -- .
. ,
(-.A v ) - (-i(BA-.C)-> -.(-iC)), ?
. ( ).
[(- \ v b) - (-,(-,) - -(-,))]
1 [(-, v )], [-.() <- -(-,)] [-];
l[(-AvB)], IHBA-.CJI, -)] [-];
l[(-nAvB)], 1 -)], 1 -)];
l[(-nAvB)]f lh(BA^C)], l[A], 1[-,C]
l[B], 0[(BA-,C)], Ihc]
i[b], []
: (-,a v ) -> (-,(-,) ^ -,(-,))
0111 10 01000 1110
, . . , , , , .
. ,
-(-|)-1(-(--1 > -iB)v -i(AA-iC)), ?
. .
1 [-1(-,)-,(-1(-1 -> -,) v -,(-,))] | |||
1 ^)], | 1[(-4--) | v -(-))] | W; |
-.)], | 0 [-,(-, - -,) v | ^)] | ; |
[-,(-,)], | 0[4-*-,)], | -)] | ; |
^)], | 1 [_,(_, -> -,)], | 1 [(-.)] | ; |
^)], | 1 [-, - -], | 1[], 1 | []; |
0 [-], 1 [-,] | ] | W.W; | |
1[], [] |
:
1 10 0 1 Ito 10 1 10 001110
, . , , , .. . , .
3.6. , , , ?
A--iA; A <->-nA; (-iAvB)--i(AA-iB); -iA -> ^-.;
-[A v ) <- (-iAA-iB); -iA v -.(-.);
-if-iAA-iB) -> (-.B v ); (.) <- (- v -.fi); (4 - -i-iBJ/HbB v C)-> hC -> -iA$; hA v -iB)MC -> -i0B <-> ^A));
-(-- v C)v -,(-.))-> --|(4|.
3.7. , , .
-> ^A)v h(BA-.C)-> hhC v D)v v b)v (hC -^ -iB)-> hh(CA-iD>V-ihA v d))| hC -> -iB)v -ih(CA-iD)\-ih A v d))) -
3.8. , , .
( - - v c)-> he -> -iA));
3.9. , : !. : , , . , , .
3.10. ? , . , , , ! - ? . , , . : , . : , . : , , . - , ? , . , , ? ?
3.11. , , . , , ; , , ; , , . ; ( , ); . ? .
3.12. , - . , ,
, , ? , . , . . , , , . . !? , , ? , , . , , , . ? ( , , .)
3.13. ! ? ? , . , . , . -. , ? , . , . ( -" , , .) , ?
3.
3.14. . , , , , ? , . , . , . : , , . . ?
3.15. . , , 20 , . , , , 7 . , , . . : , , , , 7.
, , , . . , 7 . . ?
3.16. . .
. | ||||||
20 | ||||||
12 | ||||||
23 |
.
3.17. , - , , ? , . - : , , . , . ?
3.18. .
. , , , . . , , . . , , . ?
3.3.
, , , . , , , , ? , , ? , , ? ,
, . .
-. - , , . , . , , . - , - , - . , . ? . , , . , : . , , : , ; , . . , ; !. . : , , , . ! , , .
, ! , . , : , . , . , , . , , . : - !
. . ? , : , . , , ?
, , , , :
f^AvB) | ( -,) | (_, -> -,) | (_,- - -) | -4-. -> -,r) | ||
. , , 5.
, . , . , , . !
, , . , , , , , , , . , . : . . , .
. , .
, .
, , , .
, , , , , , .
, , , , .
, , . , . , . , , , . ,
. : ; ; .
. : , , , . . , :
( ) | ( -+ -) | (a vb) | (- - ) | ||
.
, . , , . ( : , .) ,
, , . ( : , .)
. , , . , .
, , -, . - . , . , , , , . , ,
, . , , .
, X , X , X . (1), (2) (3) :
(( ) -> -.) | -,(( ) -> -,) | ( -> ( - -,)) | |||
, (1) (3), . , , . , , : (1) (2) , (2) (3).
, .
, .
3.19. , .
1. ( ), -i(-ia v -), -.), (a v ), (-, -> ).
2. ( -> -i(B -.)), (-i(B -> ) A), (-.A v -> -.)).
3. (- A v -.( -.)), (-1 -> -fiB v )), (-.( -> -,) ),
( -.(-iC -* -,)), (( -|) -ia), ( (- -.)). 4. ( -^) v hc-.d), (-^ -> -. ) -
3.20. , . ? , . , , , . : , . , ? ( , .) :
: | : | : |
(a v ( )), | (^ -> -n(B v )), | ((av-,b)->-,c). |
.
3.21. :
( -,( -iC|, (-.(-iB -> -id) v -.a), (-iC (-. v -.a)).
, , . : . .
3.22. , , - - - . . . : , ; . : , , . : , , , . , ? , .
4