1. :
0) Úb&a~ | =1, b=0; |
1) ~ Úb& | =0, b=1; |
2) Åb → &b | =0, b=0; |
3) Ú & Å | =0, b=1; |
4) ÚbÚa~ | =0, b=1; |
5) ~ (b → ) Å b | =1, b=0; |
6) ~aÅ& b | =1, b=0; |
7) Å & Ú b | =0, b=0; |
8)b&aÚa~ | =0, b=0; |
9)b → Åb | =0, b=0; |
2. :
0)b → & 1) → bÅ 2)Ú → 3) 4) → Å | 5)(a Å b) → Ú 6) → 7) ÅbÚ & 8) &bÚ → 9) → Å Ú | |||
a b | ||||
7.
1. , :
0) & y ~ → º
1) ~y & x Ú Åy& x º
2) º
3) (x ~ ) Ú x Ú y & ( Ú ) º
4) ~ Ú º
5) ((x Ú ) y) & ( Ú y) º
6) x y ~ º
7) & y ~ ~ → x º
8) & & x º
9) y & x y & x & y º
3. , :
0) Ú (x Ú ) º x Ú
1) (x Ú y) & () & ( Ú ) º y &
2) x & Ú & y & z Ú x & z º x & Ú y & z
3) (x Ú y) & (x Ú ) º x;
4) (x & y Ú z) & (x Ú y) Ú z º x Ú z Ú y
5) yÚy& ºy
6) Ú y & x → Ú x ºxÚ
7) z Ú y & zÚ x & º z Ú x;
8) y Ú → yÚ x ºxÚ y;
9) y & Ú º y & zÚ
4. , :
0) a) → Å º x Ú y; b) Ú º ;
1) a) x → (y → z) º x & y → z; b) x → y Å º Úy;
2) a) x ~ y & º ; b) x Å y & º x Ú y;
3) a) x & (x → y) º x & y; b) x Å y → Ú y º Úy;
4) a) x → yÚ & º Úy; b) (x Å )Ú & º & ;
5) a) & ( Ú y) → y º x Ú y; b) x → yÚ Å yÚ x &y º ;
|
|
6) a) Ú & → y ºy; b) Å y → x ºxÚ y;
7) a) ( → x Ú y) & y ºy; b) Å & º Ú ;
8) a) → Å x ~ y º x &y; b) Ú & º x ~ y;
9) a) xÅ → º ; b) → y~ x ºxÚ ;
_______.
60 ´ 841/16
. . . ____
300
.
360044, . , . ,13.
[1] .
[2] . .