!
!

 


>> 8 .

1.3.

,

1.3.4.

, .

1. () :

  • :

      & = & ;

  • :

      A ∨ = ∨ .

2. () :

  • :

      ( & ) & = & ( & );

  • :

      (A ∨ B) ∨ C = A ∨ (B ∨ C).

.

3. () :

  • :

      & ( ∨ ) = ( & ) ∨ ( & );

  • :

      A ∨ ( & ) = (A ∨ ) & (A v ).

4. :

.

5. :

  • :

  • ^

, , .

>>>

 

 

@Mail.ru
<">