.
, . :
- , B ;
- , B ;
- , , .
. ?
:
A=1 
.
=1 .
=1 .
():
, 0.
| A | B | ⊕ (+) | →(&) | ≡(&C) | |
= 1, = 0, = 1.
: .
6.8
. , , .
, , . :
- , ;
- , ;
- , ;
- , .
. , , .
, , () . . , , , , .
, , n m . xi (i = 1, 2, , n), yj (j = 1, 2, , m).
|
|
|
X (1, 2, , n) Y (1, 2, , m).
: .
() ( Y) ( X), (. 6. 1). , .
, , , . (, ).
, . . .
. , , . , . , , , , .
, .
Y (y1, y2, , ym) X (x1, x2, , xn), Q (q1, q2, , qk) (. 6.2).
, . X, Y Q , . t = 0, 1, 2, , . .
, .
. , :
- ;
- Y;
- Q ;
- q0, Q;
- ;
- .
, .
|
|
|
Qt+1 = φ(Qt, Xt);
Yt = ψ (Qt, Xt),
Qt+1 Yt Qt Xt. q0.
.
:
- ( );
- .
, Yt t Qt Xt, . Yt = ψ (Qt).
, , , , . , , , .
, , . , ,
.
. ; , .
.
, ,
. , . , -, -, --, , .
. 6.7. . , (); , .
6.7.
| : y=x1&x2 y=x1x2 | |
| : y=x1Vx2 y=x1+x2 | |
| : y=x y = x | |
| - | 
| : ______ y=x1Vx2 y=x1↑x2 |
| - | 
| : ____ y=x1x2 y=x1/x2 |
, , , , , , -, -, -- .
0 1, , 0, 1. . , . , . . , , , . , (), ( ). .
|
|
|
, , , , , . .
.
, .
:
, , .
. : xi,
yi Pi .
:
. , . . 6.7. : i yi. Si i+1 .
Si i+1:
Si
|
6.3. a,b , , .
6.7.
| Xi | yi | Si | Pi+1 |
.
.
, , . , , , , , ..
() , ( ) , ( ). , .
|
|
|
. , , . , ( ).
. , . , , , , , , . , , , .
.
; .
.
, , .
.
, , . n, 2n.
: 
- ( );
- ;
- ;
{→,↛}- , ;
1.
.
| = 
= 
+ 
1. = 
= 
= (|) | (|)
:
| | | (|) | (|) | ||
2. + = 
+ 
= 
| 
= (|) | (|)
.
3. 
.
.
(|) | (
|C) = (|) | ((|)|C)
4. : 
.
. 
, .
.
1. :
| ||||
| 1* | 
| |||
| 1* | 
| |||
| 1* | 
| |||
: 
+ 
+ 
.
2. , :
+ + = 
:
|
| 
| 
| 
| |||
3. :
.
:
| | | | | |(|) | (|) |(|(|)) | F(A,B,C) | |||
4. .
2.
F(A,B,C) = 
.
, .
A↓B = 
1. AB = 
2. += 
3. 
.
, .
|
|
|
3.
F(A,B,C)=+ 
{→, 0}. , {→, 0}.
, {→, 0}:
1. 
2. * = * 
:
 0
| 
| 
| ||
3. + = + 
4. + 
4.
F(A,B,C) F(A,B,C)=3.
{→,↛}.
.
1. {→,↛}. 0 1.
1 : 0.
) 
) 
2 : 1.
) 
) 
:
- ;
- , ;
- , ;
- , , 1, 2.
