-
1
-
1 30 2016
, ., ... ..
1.
.
2. :
1. ;
2. ;
3. ;
4. ;
5. ;
6. ;
3. :
- . . .
- . . .
- . . .
- ; ; ; ; ;
- . .
4. , :
1. , , .
2. , - ( , , ), .
3. .
4. !
5. .
- , , .
1. .
2. .
3. .
4. .
5. .
2.
. . .
2. :
- . . .
- . . .
- . . . . .
- , , , , ;
- . . .
3. :
- ;
- ;
- ;
- ;
- ;
4. :
- .
- .
- .
- .
- 22 1724 . .
5. :
|
|
(A ∨)→( →B);
(∧)∨(→);
(∨)∧(∨);
3.
.
2. :
- ;
- ;
- ;
- ;
- ;
3. :
- ; ; ; ; ; ;
- ; ; ; ; ;
- , , , ;
- , , , , Brawn;
- , 75, , , ;
4. :
- .
- , , ..
- .
- .
- .
5. :
(∧)∨(∧)→(∧);
(∨)≡;
((≡)∧)→(∧);
4.