8
. , .
1. .
2. , .
.
19 .
.
. .
- , ( ( 1), ( 0)).
. . . .
, .
- , , .
- , , , (). () : ( 1) ( 0).
- , ( ), .
, .
2.1 ( ):
- , , , , , . , , , .
F=
F= | |
2.2 ( ):
- , , , .
: F = F = ˅ .
F | ||
2.3 ( ):
- , , , .
: F = & F = · F = ˄ .
|
|
F | ||
2.4 :
- , , . , (), () .
F = →
F | ||
2.5 :
- , , .
F = = F = ↔ F = ~ .
F | ||
2.6 mod2 ( ):
, , , .
F = .
F | ||
.
, , , . :
1. ;
2. ;
3. ;
4. ;
5. .
:
1. ?
2. ?
3. ?
4. ?
5. ?
6. ?
7. ?
8. ?
:
1. http://infolike.narod.ru/logic.html
2. .., .. .