5.10. ?
, .
, , :
(0, 0), (0, 1), (1, 0), (1, 1).
, :
(0, 0, 0), (0, 0, 1), (0, 1, 0), (0, 1, 1), (1, 0, 0), (1, 0, 1), (1, 1, 0), (1, 1, 1).
..
, .
.
1. , x y. , . :
, x y 1, .
2. :
, x y 0, .
3. :
, 1, 0, .
|
|
5.11. ?
, . .
, , , , , . |
( , ..), , ( , , , .).
, :
1)
( : , , );
2)
( , , );
3)
( , ; );
4)
( (); );
5)
(, , , ; );
6)
( ; );
7)
( ; );
8)
( x , , );
9)
( , , , );
10)
( , ).
, , . .
5.12. ?
, : , .. . , .
|
|
, , , . |
: . , 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.
:
)
|
|
:
)
:
)
( )
:
)
:
:
5.13. ?
. . :
- ;
- ;
- .
.