.
, , , .
. , .
- , , .
- , , , .
- , , - .
, . . .
, , .
, , , . .
. , , , .
1.
- , : .
( ) . . . : p,q,r,s,; ( , ) - : A,B,C,D,...
.
( ) .
, (, , ( ), , ). , , .. , , , .
A , ØA (: -A, , A), , A . ( ), , :
|
|
1
A | Ø A |
A B - , AÙB, , A, B (. 3- . 2). A Ù B : A B.
2
A | B | A Ù B | A Ú B | A Ú B | A B | A B |
- , AÚB, , A B (. 4- . 2). A Ú B : A B.
- , A Ú B, , A B (. 5- . 2). A Ú B : A, B.
A B - , AB, , A , B (. 6- . 2). A B : A, B.
A B , AB, , A B (. 7- . 2). A B : A , B.
:
1. p, q, r, s, , ; A, B, C, D, - , ;
2.Ù, Ú, Ú, , , Ø - ;
3.(,) .
.
:
1. ;
2. , ØA, A Ù B, A Ú B, A Ú B, AB, AB - ;
3. .
, , . , , .
, , , , , .
A ÚØ A , : , , - .
- Ø(A Ù Ø A) - , .
A A () , , .
|
|
ØØ A A - .
A ØØ A - . (. 5).
5
A | A Ú Ø A | Ø(A Ù Ø A) | A A | ØØ A A | A ØØ A |
, . , a b , , a, b.
. , . .
.
() - a b ( a b), , a , b .
() - a b , , a b, ; , a b .
Û, :
(1) Ø(A Ù B) ÛØ A Ú Ø B;
(2) Ø(A Ú B) Û Ø A Ù Ø B;
(3) A Ú B Û (A Ù Ø B) Ú (Ø A Ù B);
(4) A B ÛØ B Ø A;
(5) A B Û Ø(A Ù Ø B);
(6) Ø(A B) Û A ÙØ B;
(7) A B ÛØ A Ú B;
(8) A B Û (A B)Ù(B A);
(9) Ø(A B) Û A Ú B;
(10) A Û ØØ A;
(11) A Û A Ù(A Ú B);
(12) A Û (A Ú B)Ù(A ÚØ B);
(13) A Û (A Ù B)Ú(A ÙØ B);
(14) (A Ú C) Ù (B Ú Ø C) Û (A Ú C)Ù(B Ú Ø C)Ù(A Ú B);
(15) (A Ù C) Ú (B Ù Ø C) Û (A Ù C)Ú(B ÙØ C)Ú A Ù B);
(16) A Ù A Û A;
(17) A Ú A Û A;
(18) A ÙØ A Û ;
(19) A ÚØ A Û ;
(20) A Ù (B Ù C) Û (A Ù B)Ù C;
(21) A Ú (B Ú C) Û (A Ú B) Ú C.
- a b , , .
- a b , . , , , .
- a b , , .
|
|
2.
- , , .
(, ) , , . , , . .
- , . , .
, , , . - , , , , , , - . , .
, , , ( ). .