0) | 1) | 2) |
3) | 4) | 5) |
6) | 7) | |
8) | 9) |
15. :
0)
Ø"y "x U(y, x) & $x "y R(y, x);
"y $x T(y, x) É "y "x Q(y, x);
1)
"y ($x "y G(y, x) Ú "s $x N(y, x, s));
$y "x $z H(x, y, z) É $y $x G(y, x);
2)
Ø"y $x K(y, x) Ú $z $y "x Q(y, x, z);
"x $y A(x, y) É $y Ø "x R(y, x);
3)
$y "m U(y, m) & "x "y Q(y, x);
"z $x T(z, x) É "y $x U(y, x);
4)
$x "y T(y, x) Ú "y "x H(y, x);
"x Ø"y A(x, y) É $y "z T(y, z);
5)
$n "y "x P(n, y, x) & "y Ø$n A(n, y);
$n "y "x P(n, y, x) É "y Ø$n A(n, y);
6)
"z $x T(z, x) Ú "y $x U(y, x);
$x "y T(y, x) É "y "x H(y, x);
7)
"x Ø"y A(x, y) Ú $y "z T(y, z);
"x (Ø($y A(x, y) É $y P(y, x)));
8)
"y "z U(y, z) & "x $y P(y, x);
"y "z A(y, z) É $y "z P(y, z);
9)
$y "x $z H(x, y, z) Ú $y "x G(y, x);
"y Ø$x H(y, x) É "x "y P(y, x);
.
16. , !, , :
0) 0000;
1) 1111;
2) 0110;
3) 0111;
4) 1000;
5) 0011;
6) 0010;
7) 1110;
8) 0001;
9) 1100.
17. , :
0) D5; | 1) D8; |
2) D4; | 3) D6; |
4) D6; | 5) D5; |
6) D7; | 7) D3; |
8) D8; | 9) D7 |
1. .. : , , .- : , 2003 2. .., .. - .: , 2003. 3. .. : .- : . . .-., 2001 4. ., . " ", - .: , 2004. 5. .. : . , 2003 6. .., .. . : . , 2001 |
7. .., - .. . .:, 2001 8. ., . . .: , 2001 9. . . .: , 2004. |
10. .. . .: , 2001. 11. .., .. . .: , 2002. 12. . . - : , 2000 13. . . .: , 2001. 14. . " ", - .: . 2003. 15. .. . : , 2003 16. . .: , 2002 |
|
|