: -
: ,
:
: 2012-2013
13
1. .
2. . .
3. , . =
4. , . :
. . .
_ ___ ____ __ __ ___ ___ ___ ___ ___ ___ _ _ ___ ___ __ ___ ___ ____ ___
: -
: ,
:
: 2012-2013
14
1. .
2. ( ).
3. , C D,
4.
X =[(A Þ C)Ú(B Þ C)]Þ[(A Ù B)Þ C ]
. . .
: -
: ,
:
: 2012-2013
15
1. .
2. 13.
3.
" xA (x, y)Þ(Ø$ xB (x, y)Þ" yC (x, y))
4.
X =(R ÛØ(S Ù T))ÞØ((R Þ S)Ú T).
. . .
: -
: ,
:
: 2012-2013
16
1. .
2. . . .
3.
=$ y (" x (A Ú$ z Ø B)Þ$ x Ø(" zA Ù B)).
4.
. . .