, , .
:
1) ( 2 n, n );
2) = + ;
3) ;
4) , ;
5) .
4.4. F = (A V B) Λ (
V 
).
= 22 (2 ) + 1( ) = 5.
= 2 (, ) + 5 (V, Λ, -, V, -) = 7.
: 1 5 2 4 3
( V B) Λ ( V 
)
:
| A | B | A V B |
|
| V
| (A V B)Λ( V )
|
, (), , , .
| 
| 
|
:
1) ;
2) ;
3) ;
4) .
4.5. = , Y = . : F = X 
Y 
X.
1) X Y;
2) : 2 1
X Y X;
3) :
 | |||
 | |||
: 1 V 0 Λ 1 = 1.
4.6. , F = X Y 
. = 1, Y = 0.
1) : Y;
2) : : 1 4 3 2
X Y 
;
3) :
 |
4) : F = 1 0 
= 0.
4.9. :
1) F = (X 
) Z.
2) F = X Y X.
3) F = 
(Y X).
4) F = 
(Z Λ Y).
4.10. X :
|
|
|
(X > 4) \/ ((X > 1) → (X > 4))?
) 1; ) 2; ) 3; ) 4.
4.11. :
) )
 | |||
 | |||
) )
6 :
1) : A Ú B = B Ú A, A Ù B = B Ù A;
2) : A Ú (B Ú C) = (A Ú B) Ú C,
A Ù (B Ù C) = (A Ù B) Ù C;
3) : A Ù 
= F, Ú A = T, 
= A, 
= T;
4) : A Ù (B Ú C) = (A Ù B) Ú (A Ù C),
A Ú (B Ù C) = (A Ú B) Ù (A Ú C);
5)
A Ú (A Ù B) = A Ù (A Ú B) = ;
6) ( ):
.
5)
A B = Ú B.
.
4.7. 
.
1) , 6
;
2) 
, 
.
4.8. F = (A → B) (B → A).
1) (A → B) (B → A), 7
(A → B) (B → A) = 
;
2) 
3
.
:
4.12. ) 
. 4.13. ) 
;
) 
. ) 
;
) 
) 
.
:
- ;
- .
4.9. :
1. , .
2. , .
3. , .
:
1. :
.
.
.
2. ( ).
) , 
;
) , 
;
) , 
.
:
4.13. , .
4.14. , .
4.15. 4, 2.
4.16. 2, 3.
4.17. , , .
