: ,
:
: 2012-2013
23
1. .
2. . . . .
3. , . :
4.
Ø$ xA (x, y)Þ(" yB (x, y)Þ$ yC (x, y))
. . .
: -
: ,
:
: 2012-2013
24
1. .
2. . 2 ( ).
3. , . .
4. , . , . , . , . , .
. . .
: -
: ,
:
: 2012-2013
25
1. .
2. . 1 ( ).
3. . , , , . , . ,
4. =
. . .