:
-
;
- () ;
-
();
- .
1
| () () | |||
| () | |||
| () | |||
| () | - | - | |
| () | |||
| - | - | ||
1
.
, .
"". 2015 . .
() - , , , . () , : 1 0.
2 :
1. ()
2. ( )
I.
1. .. . : -, 2007.
2. .. EWB 5.12; 2007. .
1. ., ., . . .: -, 2010 . 832 .
2. .. .
1991.
1
1: .
:
.
(-or,-and, -not, - , and-not, - --and-or-not).
|
|
|
(, ).
1- :
- , ( ) .
: .
| X1 |
| Xi |
| XN |
| Yi |
| Y1 |
| Y2 |
| Yj |
| YM |
Yj= F(X1, X2XiXN)
!!!
!
:
, , 2, , , , .
() - , Yj ( ) Xi , , . , , !!!
| Q1 Q2 |
| 1 |
| 2 |
| X1 |
| X2 |
| Xi |
| XnNNn |
| YM |
| Y1 |
| Y2 |
| Yj |
Yj= F {(X1, X2XiXN)(Q1,Q2QK)}
:
, , .
()- .
()- .
. , , , . . ().
| U |
| t |
(, ) .
| U |
| t |
(, ).
.
, , , U(t) ≥ U, 1. , U(t) U , 0.
| U |
| t |
| U |
| t |
: .
2- .
(-or,-and, - -and-not, - --and-or-not)
() ( - _ ).
3- :
(, )
