1. .
2. .
3. .
, .
, , .
, .
(1).
(0).
( ). , (=1) (=0).
, .
1) :
- , , , .
:
A | B | F |
2) :
- , , , .
:
A | B | F |
3) :
- , , , , , . , , , .
:
A | |
4) :
- , , . , (), () .
:
A | B | F |
5) :
|
|
- , , .
:
A | B | F |
.
() | ||||
, &, | ||||
V, + | ||||
¯, ﹁ | ||||
, | →, ⇒ | |||
, | ↔, ~, ⇔ |
1. ;
2. ;
3. ;
4. ;
5. .
.
1. :
1. | (1 V 1) V (1 V 0) | 7. | (1 V 0) & (1 V 0) & (1 → 0) |
2. | ((0 & 1) & 1) 0 V 1 | 8. | ﹁(1 & 1 V 0) ↔ (﹁1 V 1) |
3. | ((1 V 0) & (1 & 1)) & (0 V 1) | 9. | ((1 V 0) (1 & 1)) (0 1) |
4. | (0 V 1) → (1 & 1) | 10. | ((0 V 1) & 1) 0 V 1 |
5. | (1 & 1 V 0) ↔ (﹁1 & 1) | 11. | (1 V ﹁1) & (1 0) |
6. | ﹁((1 → 0) ↔ (1 & 1) V 1) | 12. | ((1 → 0) ↔ (1 1) V 1) |
2. ? ( ), :
1. | ( V )? (﹁ V ) | 7. | (﹁ V )? (﹁ V ﹁ ) |
2. | ( V )? (﹁ V ) | 8. | ( )? (﹁ ﹁ ) |
3. | ( )? (﹁ V ) | 9. | (﹁ ﹁ )? (﹁ ﹁ ) |
4. | (﹁ ﹁ )? (﹁ V ) | 10. | ( V )? ( ) |
5. | ( )? (﹁ V ﹁ ) | 11. | (﹁ V ﹁ )? (﹁ V ﹁ ) |
6. | ( ﹁ ﹁ )? ( ﹁ V ) | 12. | ( ﹁ )? ( V ﹁ ) |
3. :
1. | ( V ) & ( V ) & ( → ) | 7. | ( V ﹁) V (﹁ V ) | |
2. | (( & ) & ﹁) V ( & ) | 8. | (﹁ & V ) ↔ ﹁( V ) | |
3. | (( V ﹁) & ( & )) & ( V ) | 9. | (( V ) ( & )) ( ) | |
4. | (( V ) & ) ( V ﹁) | 10. | ( & ) → (( & ) (&﹁)) | |
5. | ( & ﹁) V (﹁ & ) | 11. | ( & V ) ↔ ( & ﹁) | |
6. | (( ) & (﹁ )) & ( V ﹁) | 12. | ((﹁ → ) ↔ ( ) V ) |
1. :
(﹁0 V ﹁1) (1 0) = (1 V 0) 0= 1 0 = 0.
: 0.
|
|
2. ?, , .
( )? (﹁ ﹁ ): .
: .
3. .
(( & ) → ( → )) V .
1) , , .
2) ().
3) , .
& | → | ( & ) → ( → ) | (( & ) → ( → ))V | |||
1. ?
2. ?
3. : , , .
4. .
5. .