1. .. . 1991.
2. .. . . . 1992.
3. .. EWB 5.12; 2007. .
1. .. . : -, 2007.
.
, .
"". 2013 . .
1: .
:.
(-or,-and,-not. - -and-not, - --and-or-not)
(, ).
1- :
() - , , , . () , .
2 :
1. ()
2. ( )
- , ( ) .
: .
Yj= F(X1, X2XiXn)
!!!
!
:
, , 2, , , , .
() - , Yj ( ) Xi , , . , !!!
Yj= F {(X1, X2XiXn)(Q1,Q2Qk)}
:
, , .
()- .
()- .
. , , , . . ().
|
|
(, )
(, ) .
(, ).
.
, , , U(t) ≥ U, 1. , U(t) U , 0.
: .
2- .
(-or,-and, -not, - -and-not, - --and-or-not).
() .