. - , . , , , .. , .
, . , a b , , a, b. , A Ù B Ø B ( B), A Ù B C D .
. , . . , A Ù B A Ú B . 6, , A B , . A Ú B A B , A B "" ( 7).
6
A | B | A Ù B | A Ú B |
7
A | B | A B | A Ú B |
:
) , ;
) , ;
) .
()
- . , . , . : a b ( a b), , a , b . : , , , , . (A B) Ù (B C) (A C) - ( 8).
8
A | B | (A B) Ù (B C) | (A C) | |
|
|
(. 1-, 4-, 6-, 8-). , , , - . , , , .
()
a b , , a b, ; , a b , . , , , ( 9).
9
A | B | A B | Ø B Ø A |
Û, :
(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;