, . , .
1. :
( ) = A.
.
2. () :
- :
v B = B v A;
- :
A & B = B & A.
, .
3. () :
- :
(A v B) v C = A v (B v C);
- :
(A & B) & C = A & (B & C).
.
4. () :
- :
(A B) & C = (A & C) (B & C);
- :
(A & B) v C = (A v C) & (B v C).
.
5. ( ):
- :
;
- :
.
6. ( idem - potens -; - ):
- :
A v A = A;
- :
A & A = A.
.
7. :
- :
A v 1 = 1, A v 0 = A;
- :
A & 1 = A, A & 0 = 0.
8. :
A & ( A)= 0.
, .
9. :
A v ( A) = 1.
, - , .
10. :
- :
A v (A & B) = A;
- :
A & (A v B) = A.
11. ():
- :
(A & B) v (& B) = B;
- :
(A v B) & (v B) = B.
12. ( ):
(A B) = (B A).
: , , .
. :
, . , .
1. .
2. , .
3. . .
4. ( ). .
|
|
5. . .
:
1. : , / . . , . . . 2- ., . . .: -, 2009.
2. : / . . . .: , 2012.
3. . . . . ., , 2011.
[1] (. George Boole; 2 1815, 8 1864, , , ) . ( ) 1849. .