, : , .. . , .
, , , . |
: . , 1 , ; , .
, , , , . , , .
, , , . , , .
F :
a)
, F=1;
)
, F=0;
)
, , , , , F(x) = x;
)
, , , , , F(x) = ;
)
, , , F(x) = x. y;
)
, , , F(x)=x v y;
)
.
, , ( ). , . |
. .. , .. .
: .
:
- , ;
- ;
- .
- .
- .
.
|
|
1. , 4 x, y, z t, , , t - .
. . , F(x, y, z, t) = t. (x v y v z), :
2. , , .
:
3. :
. a, b, c, d, e: a, b; a, e, d; c, d c, e, b. F(a, b, c, d, e) = a. b v a. e. d v c. d v c. e. b.
4. :
)
:
:
)
.
, 1.
:
)
:
)
:
)
( )
:
)
:
: