9

.1 POST

F .POST
:
o

f1 ( xi ,..., x1 , x0 ) - ". "1

f 2 ( x j ,..., x1 , x0 ) - ". "0

f 3 ( xk ,..., x1 , x0 ) - )( .

f 4 ( xl ,..., x1 , x0 ) - .

f 5 ( xm ,..., x1 , x0 ) - .

) . f i ( p ) = f i ( p,...., p
*

. } F = {1, x y, x + y POST

L
+
+
-

f i .
:
P0
P1
SD
M
1
+
+
+
x y
x+y
+
+
+

.
f1 x y
f 2 .1
f3 . x y

f 4 x + y
f5
. * f1* , f 2
) .( f1* = 1, f 2* = 0
:

* f1 * , f 2 p p .

* f1 * , f 2 p=1 ,0
1 *) , f 2 (0 p=0

 ,0 .0 * , f 2
* f1 .1
.

f1 , f 2 , f 3 .
:
- f1 f 2
. , , , f1 0
f 2 .1
f3
, .
. xi SOP , f3
,

pn

x1 p1 x2 p2 ...xi ' ...xn

) x1 p1 x2 p2 ...xi ...xn pn ,
xi (
, ' , xi ,
' . xi
-
. xi
, xi
,
, ,1 , .
. f1 , f 2 , f3 , f 4 , f5
.

, .

.2 RM
. NPN class
RM ?
. :
f1 ( x, y ) = x + y

x y xy
f 2 ( x, y ) = f1 ( x, y ) = x + y = x y NPN class
. f1 ( x, y ) = x + y
) f 2 ( x, y

f 2 ( x, y ) = f1 ( x, y ) = x + y = x y = ( x 1)( y 1) = xy x y 1
. f W RM ,
f ?

 f f = f 1
. w 1 w + 1
Kronecker product
. R ( n) R ( n) = I . .
:

1
R(1) =
1
1 0 1

1 1 1

0
:
1
0 1 0
=
=I
1 0 1

R (n) R (n) = I , R (n)

R (n) = in=1 R (1)

in=1 R (1) in=1 R (1) = I

: R ( n + 1)
n +1

n +1

i =1

i =1

R (n + 1) R( n + 1) = R(1) R(1) =
n
n

R
R (1)

(1)
0
0
i =1

i =1
[ R(1) R(1)][ R(1) R (1)] = n
n

n
n
i =1
i =1
R (1) R(1) R (1) R(1)
i =1
i =1
i =1
i =1

in=1 R (1) in=1 R (1) = I

n
n
n
n

R
(1)
0

R
(1)
0

R
(1)

R(1)
0
i =1
i =1
i =1

I 0
i =1
=
=

=I
n

n
n
n
n
n
n
n
0
I

R(1) R(1) R(1) R(1) R(1) R(1) R(1) R(1)

i =1
i =1
i =1
i =1
i =1
i =1
i =1
i =1

..