2011

,

. ,
.

1.1
(03.03.2011.)

 ,
1 (: ., .,
., ., ., : , 2009)
,
,
.
, ,
: zarko@etf.rs draskovic@etf.rs,
.

,
,

 15
( 05) f(1) = {0XX, X01}.

:
#15 ,
.
:
,
0.
f(1) = {0XX, X01}.
:
f(1) = {000, 001, 010, 011, 101}
f(1) = {0, 1, 2, 3, 5}
,
,
:
f(0) = {4, 6, 7}

f(x1 , x 2 , x 3 ) ( x1 x2 x3 ) ( x1 x2 x3 ) ( x1 x2 x3 )

 19
(1-2 06) ) :

f(x1 , x 2 , x 3 , x 4 ) (x1 x 2 x 4 ) (x1 x 2 x 3 ) (x1 x 2 x 4 ) (x1 x 2 )

g(x 1 , x 2 , x 3 , x 4 ) x1 x 4 x1 x 2 x 2 x 4 x1 x 2 x 3
) f(x1, x2, x3, x4) g(x1, x2, x3, x4)
{5, 9, 11}.
:

f(x1, x 2 , x 3 , x 4 ) x1x 3 x 2 x 3 x 2 x 3 x 4
g(x 1, x 2 , x 3 , x 4 ) (x 2 x 3 ) (x1 x 2 ) ( x1 x 4 )

:
#19, ), f
, .
:
) ,
f(0) = g(0) f(1) = g(1). , f(0)
f(1), g(0) g(1).
f(x1, x2, x3, x4) ,
, :
f(0) = {01X1, 101X, 10X0, 00XX}
,
f(x1, x2, x3, x4) :
01X1 => 0101, 0111
101X => 1010, 1011
10X0 => 1000, 1010
00XX => 0000, 0001, 0010, 0011
f(0) = {0000, 0001, 0010, 0011, 0101, 0111, 1000, 1010, 1011}
f(0) = {0, 1, 2, 3, 5, 7, 8, 10, 11}
f(0), f(1),
f g :
f(1) = {4, 6, 9, 12, 13, 14, 15}
g(x1, x2, x3, x4) ,
, :
g(1) = {0XX1, 00XX, X0X0, 101X}

 ,
g(x1, x2, x3, x4) :
01 => 0001, 0011, 0101, 0111
00 => 0000, 0001, 0010, 0011
00 => 0000, 0010, 1000, 1010
101 => 1010, 1011
g(1) = {0000, 0001, 0010, 0011, 0101, 0111, 1000, 1010, 1011}
g(1) = {0, 1, 2, 3, 5, 7, 8, 10, 11}
g(1), g(0),
f g :
g(0) = {4, 6, 9, 12, 13, 14, 15}
f(0) g(0), f(1) g(1),
, :

f(1) g(1)
f ( x1 , x 2 , x 3 , x 4 ) g ( x 1 , x 2 , x 3 , x 4 )
f(0) g(0 )

 23
( 08) )
.

f(x1 , x 2 , x 3 , x 4 ) (x 3 + x 4 ) (x1 + x 4 ) (x 2 + x 3 ) (x1 + x 2 )

g(x 1 , x 2 , x 3 , x 4 ) x1 x 4 + x 2 x 3 + x1 x 2
) :

f(x1 , x 2 , x 3 , x 4 ) (x1 x 3 x 4 (x1 x 2 ) ( x 2 x 4 )) (x1 x 2 x 3 ) (x 2 x 3 x 4 )

:
#23, ), f
13.
:
) f ,
. .
f(0) = {XX00, 1XX0, X10X, 00XX}
f(0) = {0000, 0100, 1000, 1100, 1010, 1110, 0101, 1101, 0001 0010, 0011}
f(0) = {0, 1, 2, 3, 4, 5, 8, 10, 12, 13, 14}
f(1) = {6, 7, 9, 11, 15}
g ,
, .
g(1) = {1XX0, X10X, 00XX}
g(1) = {1000, 1010, 1100, 1110, 0100, 0101, 1101, 0000, 0001, 0010, 0011}
g(1) = {0, 1, 2, 3, 4, 5, 8, 10, 12, 13, 14}
g(0) = {6, 7, 9, 11, 15}
g(0) f(0), g(1) f(1)
, :

g( x 1 , x 2 , x 3 , x 4 ) f ( x 1 , x 2 , x 3 , x 4 )
) :

f(x1 , x 2 , x 3 , x 4 ) (x1 x 3 x 4 (x1 x 2 ) ( x 2 x 4 )) (x1 x 2 x 3 ) (x 2 x 3 x 4 )

f(x1 , x 2 , x 3 , x 4 ) x1 x 3 (x 4 x1 x 2 x 2 x 4 ) (x1 x 2 x 3 ) (x 2 x 3 x 4 )
f(x1, x 2 , x 3 , x 4 ) x1 x 3 (x 2 x 4 )

 f(x1,x2,x3,x4) ,
, 0.
, :
f(0) = {0XXX, XX1X, X1X1}
, f
:
f(0) = {0000, 0001, 0010, 0011, 0100, 0101, 0110, 0111, 0010, 0011, 0110, 0111, 1010, 1011,
1110, 1111, 0101, 0111, 1101, 1111}
f(0) = {0, 1, 2, 3, 4, 5, 6, 7, 2, 3, 6, 7, 10, 11, 14, 15, 5, 7, 13, 15}
f(0) = {0, 1, 2, 3, 4, 5, 6, 7, 10, 11, 13, 14, 15}
f,
:

f ( x1 , x2 , x3 , x4 ) ( x1 x2 x3 x4 )( x1 x2 x3 x4 )( x1 x2 x3 x4 )( x1 x2 x3 x4 )
( x1 x2 x3 x4 )( x1 x2 x3 x4 )( x1 x2 x3 x4 )( x1 x2 x3 x4 )( x1 x2 x3 x4 )
( x1 x2 x3 x4 )( x1 x2 x3 x4 )( x1 x2 x3 x4 )( x1 x2 x3 x4 )

 31
(1 08) ) f(x1, x2, x3, x4) g(x1, x2, x3, x4).
.

f(x1, x 2 , x 3 , x 4 ) x1 x 3 x 4 + x1 x 2 x 3 + x 2 x 3 x 4 + x1 x 2 + x1 x 4

g(x 1, x 2 , x 3 , x 4 ) (x1 + x 2 + x 4 ) (x 2 + x 3 + x 4 ) (x1 + x 3 + x 4 )

) f(x1, x2, x3, x4) :

f(x1, x 2 , x 3 , x 4 ) (x1 + x 2 x 3 ) (x 2 + x 3 x 4 ) + x 3 + x 2

:
#31, ), .
:
) (x 2 + x 3 x 4 ) :

f(x1 , x 2 , x 3 , x 4 ) (x1 + x 2 x 3 ) (x 2 + x 3 x 4 ) + x 3 + x 2
f(x1 , x 2 , x 3 , x 4 ) (x1 + x 2 x 3 ) x 2 x 3 x 4 + x 3 + x 2

f(x1, x 2 , x 3 , x 4 ) (x1 + x 2 x 3 ) x 2 (x 3 x 4 ) + x 3 + x 2
:

f(x1 , x 2 , x 3 , x 4 ) (x1 x 2 + x 2 x 3 ) (x 3 x 4 ) + x 3 + x 2
f(x1 , x 2 , x 3 , x 4 ) x1 x 2 x 3 + x 2 x 3 x1 x 2 x 4 x 2 x 3 x 4 + x 3 + x 2

f(x1 , x 2 , x 3 , x 4 ) x 3 (x1 x 2 + x 2 x 2 x 4 1) x1 x 2 x 4 + x 2
f(x1 , x 2 , x 3 , x 4 ) x 3 + x1 x 2 x 4 + x 2
f(x1, x2, x3, x4) ,
: f(1) = {0, 10X0, , 1}
,
f(x1, x2, x3, x4) :
0 => 0000, 0001, 0100, 0101, 1000, 1001, 1100, 1101
100 => 1000, 1010
1 => 0100, 0101, 0110, 0111, 1100, 1101, 1110, 1111
f(1) = {0, 1, 4, 5, 8, 9, 12, 13, 8, 10, 4, 5, 6, 7, 12, 13, 14, 15}
f(1) = {0, 1, 4, 5, 6, 7, 8, 9, 10, 12, 13, 14, 15}
f(1), f(0),
f:
f(0) = {2, 3, 11}

f(x1 , x 2 , x 3 , x 4 ) (x1 x 2 x 3 x 4 ) (x1 x 2 x 3 x 4 ) (x1 x 2 x 3 x 4 )

 32
(1-2 07) ) f(x1, x2, x3, x4) g(x1, x2, x3, x4)
{4, 5, 13}.
:

f(x1 , x 2 , x 3 , x 4 ) x1x 2 x 4 + x 3 x 4 + x 2 x 4
g(x 1 , x 2 , x 3 , x 4 ) (x1 + x 2 ) (x1 + x 3 + x 4 ) (x 2 + x 4 )
) 0:

f(x1 , x 2 , x 3 , x 4 ) (x1 + x 3 + (x 2 + x 3 )) (x 2 + (x 3 + (x1 + x 4 ) (x1 + x 3 )))

:
#32, ),
g(x1, x2, x3, x4). g(1) g(0),
g(0) g(1). ,
g(0) 11 110 !
:
) f(x 1 , x 2 , x 3 , x 4 ) x 1 x 2 x 4 + x 3 x 4 + x 2 x 4 .
1.
,
1
1 .
f(1) = {00X0, XX00, X1X1}/f(b)
f(1) = {00X0, XX00, X1X1}/{4, 5, 13}
f(1) = {0000, 0010, 0000, 0100, 1000, 1100, 0101, 0111, 1101, 1111}/{4, 5, 13}
f(1) = {0, 2, 4, 5, 7, 8, 12, 13, 15}/{4, 5, 13}
f(1) = {0, 2, 7, 8, 12, 15}
f(0) = {1, 3, 6, 9, 10, 11, 14}
g(x 1 , x 2 , x 3 , x 4 ) (x 1 + x 2 ) (x 1 + x 3 + x 4 ) (x 2 + x 4 )

0.
,
0
0
.
g(1) = {01XX, 1X10, X0X1}/g(b)
g(1) = {01XX, 1X10, X0X1}/{4, 5, 13}
g(1) = {0100, 0101, 0110, 0111, 1010, 1110, 0001, 0011, 1001, 1011}/{4, 5, 13}
g(1) = {1, 3, 4, 5, 6, 7, 9, 10, 11, 14}/{4, 5, 13}
g(1) = {1, 3, 6, 7, 9, 10, 11, 14}

 g ,
- g(1) - g(b):
g(0) = {0, 2, 8, 12, 15}
,
, :

(g(0) / f (0)) (f (0) / g(0)) (g(1) / f (1)) (f (1) / g(1))

{0111}.

 34
( 07) ) f(x1, x2, x3, x4) g(x1, x2, x3, x4)
{6, 14, 15}.
:

f(x1 , x 2 , x 3 , x 4 ) x 2 x 3 x 4 + x 1 x 2 + x 2 x 3 + x 1 x 2 x 4
g(x 1 , x 2 , x 3 , x 4 ) (x 1 + x 3 + x 4 ) (x 1 + x 2 ) (x 2 + x 4 )
) :

f(x1 , x 2 , x 3 , x 4 ) x1 x 2 x 3 + x 2 x 3 x 4 + x1 x 3 x 4 + x1

:
#34, ), f(1).
101 100, .
#34, ), 1000, 100.
.
:
) ,
f(0)=g(1) f(1)=g(0). ,
, .
f(x1,x2,x3,x4) , ,
g(x1,x2,x3,x4) ,
. ,
:
f(1) = {X000, 01XX, X11X, 10X0}/f(b)
, f
. ,
(f(b)) :
f(1) = {0000, 1000, 0100, 0101, 0110, 0111, 0110, 0111, 1110, 1111, 1000, 1010}/f(b)
f(1) = {0, 8, 4, 5, 6, 7, 6, 7, 14, 15, 8, 10}/{6, 14, 15}
f(1) = {0, 4, 5, 7, 8, 10}
f ,
:
f(0) = {1, 2, 3, 9, 11, 12, 13}

 g:
g(0) = {011X, X000, 0X01, 1XXX}/g(b)
, g
. ,
(g(b)) :
g(0) = {0110, 0111, 0000, 1000, 0001, 0101, 1000, 1001, 1010, 1011,
1100, 1101, 1110, 1111}/g(b)
g(0) = {6, 7, 0, 8, 1, 5, 8, 9, 10, 11, 12, 13, 14, 15}/{6, 14, 15}
g(0) = {0, 1, 5, 7, 8, 9, 10, 11, 12, 13}
g ,
:
g(1) = {2, 3, 4}

{0, 2, 3, 5, 7, 8, 10}.
) f ,
, . ,
:
f(1) = {100X, X111, 1X10, 0XXX} = {1000, 1001, 0111, 1111, 1010, 1110, 0000, 0001, 0010,
0011, 0100, 0101, 0110, 0111}
f(1) = {8, 9, 7, 15, 10, 14, 0, 1, 2, 3, 4, 5, 6, 7}
f(1) = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 14, 15}
f(0),
( f(b)), f
:
f(0) = {11, 12, 13}
:

f(x1 , x 2 , x 3 , x 4 ) (x1 x 2 x 3 x 4 ) (x1 x 2 x 3 x 4 ) (x1 x 2 x 3 x 4 )

 38
( 07) )
.

f(x1 , x 2 , x 3 , x 4 ) (x 2 + x 4 ) (x 2 + x 3 ) (x1 + x 4 ) (x 3 + x 4 ) (x1 + x 3 )

g(x 1 , x 2 , x 3 , x 4 ) x1 x 2 x 3 x 4 + x 2 x 4 + x 2 x 3 + x1x 2 x 4
) :

f(x1 , x 2 , x 3 , x 4 ) (x1 x 3 ) ( x 3 x 4 ) (x1 x 4 (x1 x 2 ) (x 2 x 4 ))

:
#38, ), ,
. .

 41
f ( x1, x 2 , x 3 , x 4 ) : f(1) = {0, 1, 2, 4, 5, 6, 8,
9}. f ( x1, x 2 , x 3 , x 4 ) .

:
15,
. .
:
f(0), (
f(b)), f :
f(0) = {3, 7, 10, 11, 12, 13, 14, 15}

g1(x 1, x 2 , x3 , x 4 ) x1 x 2
g2(x 1 , x 2 , x 3 , x 4 ) x 3 x 4

g3(x 1 , x 2 , x 3 , x 4 ) x1 x 3

 56
(1 08)
) f(x1, x 2 , x 3 , x 4 ) ( x1 x 2 ( x1 x 2 ( x1 x 2 ) ( x 3 x 4 ))) ( x1 x 3 )
) f(x1 , x 2 , x 3 ) (x1 x 2 )(x 2 x 3 )(x1 x 2 x 3 )
) K f(x1, x2, x3, x4) f(1) = {4, 6, 8, 10, 13}
) f(x1, x2, x3, x4) f(0) = {6, 9, 13, 15}
f(b) = {2, 3, 4, 5, 10, 11, 12}

:
#56, ), (
x1).
#56, ), .
:
) .
.
, .

f(1) {11X , X 11,001}

f(0) {110,111,011,001}
f(0) {1,3,6,7}
f(1) {0,2,4,5}

x3

x 1x 2
0

00

01

11

10
1
1

, :

f(x1 , x 2 , x 3 ) x1 x3 x1 x2

) f(0) = {6, 9, 13, 15} f(b) = {2, 3, 4, 5, 10, 11, 12}, f(1) = {0, 1, 7, 8, 14}

, :

f(x1 , x 2 , x 3 , x 4 ) x1 x3 x1x4 x1 x4

 60
( 04)

f(x 1 , x 2 , x 3 , x 4 ) x 2 x 3 x 4 x 1 x 3 x 4 x 1 x 2 x 4 x 1 x 2 x 3 x 1 x 2 x 3 x 4

:
#60, 100 f(1)
12 f(0).
:
f , ,
:
f(1) = {X011, 1X01, 00X1, 100, 0100}
f(1) = {0011, 1011, 1001, 1101, 0001, 0011, 1000, 1001, 0100}
f(1) = {3, 11, 9, 13, 1, 3, 8, 9, 4}
f(1) = {1, 3, 4, 8, 9, 11, 13}
f(0),
( f(b)), f
:
f(0) = {0, 2, 5, 6, 7, 10, 12, 14, 15}

x x2
x 3x 4 1 00
00

01

11
0

01

11

10

10

f(x1 , x 2 , x 3 , x 4 ) ( x3 x4 )( x 2 x3 )( x1 x 2 x4 )( x1 x2 x4 )( x1 x 2 x 4 )

 64
( 05) f(x1, x2, x3, x4) :
f(1) = {6, 7, 11, 12, 13, 14, 15}, f(b) = {3, 4, 9}.
K .

:
#64,
b .
:

x x2
x 3x 4 1 00

01

00

01

11

10

11

10

f(x1 , x 2 , x 3 , x 4 ) (x 1 x 3 )(x 2 x 4 )

x1 x4
,
1 ( 11,
13 15), x1 x2 x3 x4 ,
,
.

f(x1, x 2 , x 3 , x 4 ) x1 x2 x3 x4 x2 x3

 66
(1 04)
) f(x1 , x 2 , x 3 , x 4 ) x1x 3x 4 x 2 x 3x 4 x1x 2 x 3x 4 x1x 2 x 4 x 2 x 3x 4 x1x 2 x 3
) f(x1, x2, x3, x4) f(0) = {4, 7, 9, 11, 14, 15}
f(b) = {3, 5, 6, 12}.

:
#66, ), 0
13. .
:
)
f(1) = {0X10, X000, 1101, 00X0, X110, 111X}
f(1) = {0010, 0110, 0000, 1000, 1101, 0000, 0010, 0110, 1110, 1110, 1111} =
= {0, 2, 6, 8, 13, 14 ,15}
f(0) = {1, 3, 4, 5, 7, 9, 10, 11, 12}

x1x2
x3x4

00

00

01

11

10

01

11

10

f(x1 , x 2 , x 3 , x 4 ) ( x1 x4 )( x2 x3 x4 )( x2 x4 )( x1 x2 x3 )

 71
(1 05)
)

f(x1 , x 2 , x 3 , x 4 ) x 1 x 3 x 4 x 2 x 3 x 4 x 1 x 2 x 3 x 4 x 1 x 2 x 4 x 2 x 3 x 4 x 1 x 2 x 3
) f(x1, x2, x3) f(0) = {0, 1, 4, 7}
) (30) f(x1, x2, x3, x4) f(1) = {4, 7, 9, 11, 14, 15} f(b) =
{3, 5, 6, 12}.
) f(x 1 , x 2 , x 3 , x 4 ) ( x 1 x 2 x 3 ) ( x 2 ( x 3 x 4 ) ( x 1 x 2 ( x 3 x 4 )))

:
#71, ), , 2,
~2.
:
) ,
:

x1x2
x3x4

00

01

11

00

01

11

10

10

f(x1 , x 2 , x 3 , x 4 ) x 2 ( x1 x3 x4 )

 73
( 06) :
) f(x1, x2, x3, x4) : f(0) = {1, 6, 9, 11, 12, 14, 15},
f(b) = {4, 8, 10, 13}
) f(x1, x2, x3, x4)

f(x1 , x 2 , x 3 , x 4 ) (x1 x 2 x 3 ) (x1 x 2 (x 3 x 4 ) (x 2 x 3 ))(x 3 x 4 ) x1 x 2 (x 4 x 3 )

:
#73, ), ,
.
:
) f ,
. f
4 - f(1)
- f(b).
b
. ,
, .
b , :

x1x2
x3x4

00

01

00

01

11

10

11

10
b

1
b

,
. :
f(x1 , x 2 , x 3 , x 4 ) x2 x4 x1x2 x4 x1x3 x4

f(x1 , x 2 , x 3 , x 4 ) x2 x4 x1x2 x3 x1x3 x4

f(x1 , x 2 , x 3 , x 4 ) x2 x4 x2 x3 x4 x1x3 x4

x x2
x 3x 4 1 00

01

11

10

00

01

11
10

0
0

f(x1 , x 2 , x 3 , x 4 ) (x1 x 2 )(x 3 x 4 )