: -
: ,
:
: 2012-2013
17
1. .
2. . . . .
3. , . :
4.
X =(Ø(R Þ(R Ú S))Þ(Ø T Ù S))Ù T
. . .
_ ___ ____ __ __ ___ ___ ___ ___ ___ ___ _ _ ___ ___ __ ___ ___ ____ ___
: -
: ,
:
: 2012-2013
18
1. .
2. . . . .
3.
=" x Ø(A Þ B)Þ$ y ((A Ú$ xC)Þ(Ø B Ù$ x Ø C)).
4.
(" xA (x, y)ÞØ$ xB (x, y))Þ" yC (x, y)
. . .
: -
: ,
:
: 2012-2013
19
1. .
2. , .
3.
4. , . , . , . , , ,
. . .