: ,
:
: 2012-2013
10
1. .
2. ( ).
3.
=$ y (" x (A Þ(Ø B Ù C))Ú" x (Ø A Þ(B ÚØ C))).
4.
($ xA (x, y)Þ" xB (x, y))ÞØ" yC (x, y)
. . .
: -
: ,
:
: 2012-2013
11
1. .
2. . . (-) . .
3.
4.
(" xA (x, y)ÞØ$ xB (x, y))Þ" yC (x, y).
. . . _ ___ ____ __ __ ___ ___ ___ ___ ___ ___ _ _ ___ ___ __ ___ ___ ____ ___
: -
: ,
:
: 2012-2013
12
1. .
2. . , , , .
3.
4. , . , , , . , , . , , . , , . , , , , ,
. . .