: , , .
:
 -
|  -
|  -
|
|
| . , . |
.
, .
, . .
, .
. .
1. 0,1011121 0,11011*210. , :
2. 0,10101*210 0,11101*21. , :
, : 0,1101*20.
, .
3. :
(0,111012101) (0,1001211) = (0,111010,1001) 2(101+11) = 0,10000010121000.
, . .
4. :
0,11112100: 0,101211 = (0,1111: 0,101) 2(10011) = 1,121 = 0,11210.
- .
|
|
|
|
| , : ) 0,10101211 + 0,01011210; ) 0,111012101 0,01101211; ) (0,101012100)*(0,0011210) ) (0,11012111): (0,11121). |
5.
5.1 .
: , , , .
|
|
|
:
| -
| -
| -
|
|
| - - . : , , , , . |
|
| . () , . |
- , . - , .
, , - - (, . , ""). " ", 1854 . , - , , .
. "" . : - - , : . , - " ", , " ", . " ", " ", , , , . , , , . .
( , , ..), , , , .
:
" 35 7 ",
" - ".
" ".
" ":
" ",
" ",
" 6 8 ".
(" , ! "), (" ? ") .
, . ( - i), , , , , .
, " ". , i , i , . " " " ".
|
|
|
, , - . ( x1 - " 35 7 ", x1 = 1), - ( x2 - " ", x2 = 0).
, - xi , : - 1, 0.
" ", " ", " ", " - " ( ) - ( ) .
, .
- . - (), , . : .
- , , . . - .
: F1 , F2, F1 (.. F1 F2 ). , (a + b) 2 = a 2 + 2ab + b 2 ..
. , . , (0 1). ( ).
, . , " " "" .
. , .
|
| . - , , . :
|
|
| : 1) : ) . ) . ) 2>5. ) ? ) . ) ? ) 2 + 5 = 9. 2) : ) = 45 ; ) = ; ) = ; ) D = ; ) E = ? 3) ( ). 4) ( ). 5) , ( ). |
|
|
|
5.2 .
: , , , , , , ().
:
| -
| -
| -
|
|
| . :
|
() , (), (), , .
. . , x, : 
. " ". , , , , , 
.
- , x , x - . ( ) :
| x |
|
1. () " " x 1, " " x 2. " , (x 2 = 1, x 1 = 0), , (x 2 = 0, x 1 = 1)" x 1 x 2 : x 1 = .
(). x1  x 2 : x 1 x 2, x 1 & x 2. " ". , , x1, x 2 . .
( ):
2. , . " " y. . " " x1. , : (). : x 2 - " "; x 3 - " ". : y = x 1 y (y = 1) , : x 1 = 1, x 2 = 1 x 3 = 1. y = 0, y : . (). x 1
( ), , . : | |||||||||||||||||
3. " ", . , , . ( y) : y =x 1 x 1 - " ", x 2 - " ". y =x 1 |
x 2. " ". " (). x 1 
x 2. " , ". :
| x 1 | x 2 | x 1 x 2
|
, : " , ". , : x 1 -" " x 2 -" - " x 1 x 2
, x 1 x 2. , x 1 x 2.
. x 1 = 0 ( - , , , ), x 2 () (" - ", x 2 =1), (" - ", x 2 = 0). . " ex falso guod libet ", " ".
, " - , 5 2 " . , , () x 1 () x 2, . .
(). ( ) x 1 x 2 , , x 1 x 2 , , - .
x 1 x 2 x 1 
x 2 ( x 1 = x 2, x 1 
x 2), " , x 1, , x 2 " " x 1 , x 2 ". x 1 x 2 .
.
| x 1 | x 2 | x 1 x 2
|
, " SPQ S PQ , P Q " , " SPQ S PQ " " SPQ S PQ P Q " , .
. , , . , , .
, . () .
x 1, x 2, x 3, x 4 - ( ), :
.
, , . :
, - . :
|
|
|
.
( ), , .
|
| 1. ( ) , , , , .
2. , . .
3. , . .
4. , . .
5. , . .
6. , . .
7. , . .
8. , . .
9. A, B, C, D, E : A , B , C , D , E . : " , , ".
10. A, B, C, D, E : A , B , C , D , E . : " , "
11. A, B, C, D, E : A , B , C , D , E . : " , , "
12. A, B, C, D, E : A , B , C , D , E . : ", , "
13. , :
)  ;
)  .
|
5.3.
: , , .
:
| -
| -
| -
|
|
| . . |
, . 6.1.
6.1
| Ȼ | Ȼ | |
| 
| |
| 
| |
| 
| |
| 
| |
| 
| |
| 
| |
 
| 
| |
| 
| |
| 
| |
|
, .
, , : (0, 0), (0, 1), (1, 0), (1, 1).
, : (0, 0, 0), (0, 0, 1), (0, 1, 0), (0, 1, 1), (1, 0, 0), (1, 0, 1), (1, 1, 0), (1, 1, 1).
..
, .
6.1. , 
.
, X Y. , . 6.2. , x y 1, .
6.2
| x | y | 
| 
| 
| 
| 
| 
|
6.2. , 
.
6.3. , x y 0, .
6.3
| x | y | 
| 
| 
| 
| 
|
6.3. 
?
6.4.
6.4
| x | y | z |
| 
| 
|
| 
|
|
, 1, 0, .
, . .
, , .
( , ..), , ( , , , .).
, :
1) 
( : , , );
2) 
( , , );
3) 
( , ; );
4) 
(, , , ; );
, , .
|
| :
1. .
2. :
3. : ) ) ) 4. .
5. ?
|
;
;
.
5.4
: , (), ().
:
| -
| -
| -
|
, ( , ).
, 
,
() .
, 
.
() , ( , ), .
, 
, . 
.
( ) . .
, ( , )., 
,
() ( 
).
() , ( , ), .
, 
.
, , . f(x1, x2, x3, x4), :
1
| 
| 
| 
| 
|
, . 1. 0, . 1, .
1 . , :
. : 
:
: 
. ( ).
:
, , (1).
́ , .
0 . , :
, 0, , 1. : 
.
