, , , .
- , , .
, , : .
: 1 - (, , ) 2 - ( , , ); 3 - .
o . , , . , , .
o (, , ) ( ). - , , , .
o a - ec eo pacee eoo a oee ee c paccopee aoo x oeoc.
o - , . . .
o - , . , , .
o - , .
o - - .
o - .
o () - , . , , .
o - , - . - , , , .
|
|
.
. : =
. . , . , : A & A = 0
. , , . , : A v A = 1
. , : A = A
: (A v B)= &
(A & B)= v
.
A & B = B & A A v B = A v B
. :
(A & B) & C = A & (B & C) (A v B) v C = A v (B v C)
. , :
(a x b) + (a x c) = a x (b + c)
(A & B) v (A & C) = A & (B v C) (A v B) & (A v C) = A v (B & C)
.
- , . , , "" , " " " ".
: , , , , .
.
: . , . .
( ) , (). () ().
( ) , , , ().
, (, ), ; .
, (, ), .
, ().
, (, ) , (). , , .
{} .
() . , , ..
|
|
: -, -, .. , .
, , : , , , ..
, , , , -: , , .
, . .
, ( ) : , ..
(, .). , , .
, , .
:
, .
, .
, .
( ) , , . . , .
() ()
, - , .
, , , , , . .