>> 8 .
1.3.
, .
1. () :
& = & ;
A ∨ = ∨ .
2. () :
( & ) & = & ( & );
(A ∨ B) ∨ C = A ∨ (B ∨ C).
.
3. () :
& ( ∨ ) = ( & ) ∨ ( & );
A ∨ ( & ) = (A ∨ ) & (A v ).
4. :
5. :
, , .
>>>