: ,
:
: 2012-2013
31
1. .
2. . . . .
3. . , , . , , . , . , .
4. =" x Ø(A ÞØ B)Þ$ y ((A Ù$ x Ø C)Þ(B Ú$ xC)).
. . .
: -
: ,
:
: 2012-2013
32
1. .
2. . 2 ( ).
3. , . :
4. X =(R ÛØ(S Ú T))Þ(Ø(R Þ S)Ù T)
. . .
: -
: ,
:
: 2012-2013
33
1. .
2. .
3. =
4.
(" xA (x, y)ÞØ$ xB (x, y))Þ" yC (x, y).
. . .