1
:
: .
.
.
091
: ..
2011 .
: , , , .
1. , , , :
X1 | Y |
;
;
1 | 2 | 3 | Y |
:
;
:
1 | 2 | 3 | X4 | Y |
;
:
1 | 2 | Y |
;
:
1 | 2 | Y |
2. . 1 , - ( ). , ( gen-slov.ewb) ( word-generator.ewb). .
x1=F4, x2=F2, x3=F4
1 | 2 | X3 | Y |
|
|
3. . 2 , , . , .
1 | 2 | X3 | Y |
4. 2 3 . .
5. . 3 , , .
y3 = x1x2x3 v x1x2x3 v x1x2x3 v x1x2x3 = x1x2(x3 v x3) v x1x3 (x2 v x2) v x1x2x3 = x1x2 v x1x3 v x1x2x3
1 | 2 | X3 | Y |
6. , . 4, , , . , .
y = x1x2x3 v x1x2x3 v x1x2x3 v x1x2x3 = x1x3(x2 v x2) v x2x3(x1 v x1) v x1x2(x3 v x3) = x1x3 v x2x3 v x1x2
1 | 2 | X3 | Y |
7. , .
ai | bi | pi | pi+1 | si |
8. , (x1,x2) (y1, y2, y3, y4), , , .