, , (. .2.3.2).
, . 1, : x1=x2=1 x1=x2=0. . .3.17,.
.3.17. () ().
1, : x1=1, x2=0 x1=0, x2=1. :
,
- .
Ȼ. : .1, , , ; .1 .0, , . . .3.17,. (=1) m2, , Ȼ ( 2): 1+0=1; 0+1=1; 0+0=0; 1+1=0 ( ).
3.3. .
.
. , Fa=b . ( Ȼ):
, .. .
, (.4, ).
A , (0=b0 1=b1 ... n-1=bn-1), .. , , , :
.
, .1 FA=B=1 (..3.18). , .0, FA=B=0, .
.3.18.
() . ,
; ; . (3.5)
>. ; , . . , 3- :
|
|
1) (2>b2), (1) . > ;
2) (2=b2), () (1>b1), . > .
3) (2=b2, 1=b1), , (a0>b0), . > .
3.4. .
, , , :
. (3.6)
, (3.6), .1, >. , .3.19.
. 3.19. >
(. .5) .