, , .
. , һ . . , , , , .
: ; ; , , , ; .
.
.
: , .
:
1. ;
2. .
1.
. .
, .
. , , . , , .
: , .
.
. 1, 0. , , [14, 98 c.].
, ( ()), ( ()), ( ()).
. () & /\:
F = /\ .
F (1) (0). :
/\ | ||
. v +.
|
|
F = A\/B
:
A | B | A\/B |
. F = A.
:
A | A |
, .
() , ..., ..., :
> .
:
A | B | > |
() , , ... <>.
:
A | B | <> |
. , , , .
: , , . :
F = (A\/B) /\ (A\/B)
. [14, 99 c.].
:
1. N n : N = 2n.
2. .
3. .
4. , .
. :
= .
. :
/\ = 0.
. , :
A \/ A = 1.
. :
=
:
(A \/ B) = A /\ B
(A /\ B) = A \/ B
.
/\ = /\
A \/ B = B \/ A
:
( /\ ) /\ = /\ ( /\ )
(A \/ B) \/ C = A \/ (B \/ C)
. , :
(A /\ B) \/ (A /\ C)=A /\ (B \/ C)
(A \/ B) /\ (A \/ C) = A \/ (B /\ C)