Вы находитесь на странице: 1из 9

:

1.

,

.
. ,
, ,
.
.
f x a0 a1 x1 .

f x1 , x2 a0 a1 x1 a2 x2 a12 x1 x2 .

f x1 , x2 , x3 a0 a1 x1 a2 x2 a3 x3 a12 x1 x2 a13 x1 x3 a23 x2 x3 a123 x1 x2 x3 ..


a1,...,i a0 0 1,
2n , n - .
. f x1 , x2 ,..., xn
, .

n , .

:
1.
,
1.
2.
.
3.
.
4.
, , , xi x1 1 .
5.
xi x1 1 .
6.
,
1.
7.
, xi xi 0 .
,
:

2n
n
, 2 ,
a0 , a1 ,..., a1,2,..., n .
,
, , .
f x1 , x2 ,..., xn ,
a0 a1 x1 a2 x2 ... an xn , .
1

,
x1 , x2 ,..., xn :
a0 f 0, 0,..., 0 ,
a1 f 0, 0,..., 0 f 1, 0,..., 0

a2 f 0, 0,..., 0 f 0, 2,..., 0

an f 0, 0,..., 0 f 0, 0,...,1 .
( )
.
1.
f x1 , x2 ,..., xn
x0 , x1 ,..., xn .
2.

x1 , x2 ,..., xn a0 a1 x1 a2 x2 ... an xn ,

. x1 , x2 ,..., xn
f x1 , x2 ,..., xn .
,

f x1 , x2 ,..., xn

x1 , x2 ,..., xn . .
1. ,
, : F x1 x 2 x3 x1 x 2 x3 x1 x 2 x3 .
: .
, ()
. : F x1 x2 x3 x1 x2 x3 x1 x2 x3 x1 x2 x3 x1 x2 x3 x1 x2 x3
(2),
(1):
F (1 x1 )(1 x2 )(1 x3 ) x1 (1 x2 ) x3 x1 x2 x3
1 x1 x2 x1 x2 x3 x1 x3 x2 x3 x1 x2 x3 x1 x3 x1 x2 x3 x1 x2
1 x1 x2 x1 x2 x3 x2 x3 x1 x2 x3 .
: 1 x1 x2 x1 x2 x3 x2 x3 x1 x2 x3 .
2.
x1 x 2 x1 x 2 .
:
1- ( ):
x1 x 2 x1 x 2 x1 x 2 x1 x 2 x1 x 2 x1 x 2 x 2 ( x1 x1 ) x 2 .
2- ( ):
x1 x 2 x1 x 2 a 0 a1 x1 a 2 x 2 a12 x1 x 2 .
(0,
0), (0, 1), (1, 0), (1, 1), :
(0 1) 0 0 a 0 a1 0 a 2 0 a12 0 0 ,
0 a0 ,
(0 0) 0 1 0 a1 0 a 2 1 a12 0 1 ,
1 a2 ,
(1 1) 1 0 0 a1 1 1 0 a12 1 0 ,
0 a1 ,
2

(1 0) 11 0 0 1 1 1 a12 11 ,
1 1 1 a12 , 1 1 a12 , a12 0 .

x1 x 2 x1 x 2 x 2 .

2,
. ,
,
.
a 0 , . ,
, ,
ai "" ( " "
). , ,
, ..
2.
3: f (11001011).
, f . f
2 3 8 , f .
:
f x1 , x2 , x3 a0 a1 x1 a2 x2 a3 x3 a12 x1 x2 a13 x1 x3 a23 x2 x3 a123 x1 x2 x3
,
f .
f 0, 0, 0 a0 a1 0 a2 0 a3 0 a12 00 a13 00 a23 00 a123 000 a0 0 a0 1
, a 0 1 . ,
f (0,0,1) a 0 a3 1 a3 1 , , a3 2,
a 3 =1;
f (0,1,0) 1 a 2 0 , a2 1 ;
f (1,0,0) 1 a1 1 , a1 0 .
a12 , a13 a 23 ,
110, 101 011, . , :
f (1,1,0) a 0 a1 x1 a 2 x 2 a12 x1 x 2 a 0 a 2 a12 1 1 a12 a12

( 2 0).
f (1,1,0) 1 , a12 1 .

f (1,0,1) a 0 a13 0 , a13 1 ;


f (0,1,1) a 0 a 2 a 23 0 , , a 0 a 2 1 , a 23 0 .
, f (1,1,1) a 0 a 2 a12 a13 a123 a123 1 .
,
f ( x1 , x 2 , x3 ) 1 x 2 x1 x 2 x1 x3 x1 x 2 x 3 .
2.
2.1.
N N
N. :
1) N N;
2) N = N;
3) N1 N2 N1 N2;
3

4) N1 N2 N1 N2.
N , N = N.
, , ,
.
: T0 f | f 0, 0,..., 0 0 , T1 f | f 1,1,...,1 1 ,
L f | a0 a1 x1 a2 x2 ... an xn 1 0 , M- , S.
2 . N
, N = 2. , , ,

. ,
.
2. ,
, ,
. 0, 1, , ,
.
.
, .
2.2. ,
0,
0, 1,
1. , ,
T0 f | f 0, 0,..., 0 0 , T1 f | f 1,1,...,1 1 .
, ;
; 2 0, 1;
1, 0.
. n- ,
n

2
0, 2 .

. , 0 1, .
4. , T0 , T1 :
1) f ( x1 , x 2 , x 3 , x 4 ) x1 x 4 x 2 x 3 ; 2) ( x, y ) x y 1 .
:
1) f (0,0,0,0) 0 0 0 0 1 0 1 f T0 , f (1,1,1,1) 1 1 1 1 0 0 0
2) (0,0) 0 0 1 1 T0 , (1,1) 1 1 1 1 T1

f T1

2.3.
: , f ( x1 , , x n ) ,
f * x1 , , x n f x1 , , x n .
: , , ,
,
f x1 , , x n f * x1 , , x n .
:
4

f x1 , , x n f x1 , , x n .

S f | f 1 , 2 ,..., n f 1 , 2 ,..., n . S
, :
x , x .
. ,
0 1.

1
2
3
4
5
6
7
8
9
10
11

0
1

1
0

x1 x 2
x1 x 2
x1 | x 2

x1 x 2
x1 x 2
x1 x 2

x1 x 2

x1 | x 2

x1 x 2
x1 ~ x 2
x1 x 2

x 2 x1

x1 x 2
x1 ~ x 2

1, 3, 4, 5, 7, 9, 10:
1) 0 * 0 1 ;
3) x * x x ;
4) x * x x ;
5) x1 x2 * x1 x2 x1 x2 ;
7)
9)

x1 | x2 * x1 x2

x1 x2 x1 x2 x1 x2 ;

x1 x2 * x1 x2 * x1 x2 x2 x1 ;

10) x1 ~ x 2 * x1 ~ x 2 x1 ~ x 2 x1 x 2 .
f ( x1 , x 2 , x 3 ) x1 x 2 x1 x 3 x 2 x 3
5. ,

.
: ( )
: f (0,0,0) f (1,1,1) , f (0,0,1) f (1,1,0) , f (0,1,0) f (1,0,1) , f (0,1,1) f (1,0,0) .

. ,
.
. n-
2

2n 1

. S .

2.4.
n- :
1 , 2 ,..., n 1 , 2 ,..., n ,
1 1 , 2 2 ,..., n n . : p .
, , ,
f f , f f 1 , 2 ,..., n .
. , , ,
, ,
.
6.
) f ( x) x .
)
.
) , .
x1 x 2

x3

f1

f2

0 0
0 0
0
0 0
1 1
0
0 1
0 0
1
0 1
1 1
1
1 0
0 1
0
1 0
1 0
1
1 1
0 0
1
1 1
1 0
1
f
1 , , , , 0,0,1 1,0,1 ,
f1 (0,0,1) 1 f 1 (1,0,1) 0 . f 2
.

.
.
. , ,
; , ,
0 1, .
,
,
.
. .

, .
.
2.5.

. ,
, . ,
, .
0 1 .
6

L f | a0 a1 x1 a2 x2 ... an xn 1 0 .
, ,
, . , , .
, , .
. n- 2 n1.
. .

.
0
T0
+
T1
L
+
M
+
S
-


1
+
+
+
-

+
+
+
+
+

+
+

+
+
+
-

+
+
+
-

+
-

+
+
-

+
+
-

2.6.
( ).

0 1.
( ).
0 1
.
( ).
0 1,
, .
2.7.
( ).
,
, .

,
. , ,
.
. ,
.
. 4 .
, ,
:
T0

T1

L
7

x yz
x y
1
0

+
+
+

+
+
+
-

+
-

+
+
+

+
+
+

7.
A x y, x y,1

: f x, y x y .
.
y
x
f x, y x y
0
0
1
1

0
0
1
1
0
1
1
0
f 0, 0 0 , f x, y T0 ,
f 1,1 0 , f x, y T1 ,
f 0, 0 f 1,1 0 , f x, y S ,
f 1, 0 1 0 f 1,1 f x, y M .
, ,
f x, y L
.
. :
S
M
L
T0
T1
x y
+
+
x y
+
+
+
1
+
+
+
, , A
.
.
2.8.
, ,
, , . ,
.
(). T0, T1, L, M , S . .
2.9.
,
.
,
2.
N ,
N. N N,
N . , , 0, 1, , M.
:
8

. .
. 2 .