Functionally Complete System

.1 ) f(x1,x2,...,xn (zero-preserving) 0
f(0,0,...,0)=0
AND,OR, XOR :0-
NOT ,1 NAND- .0

.2 ) f(x1,x2,...,xn (one-preserving) 1
f(1,1,...,1)=1
AND,OR, :
1

XOR , 0 ,NOT NAND- .1

 )(
.3 ) f(x1,x2,...,xn )(self-dual

) f(x1 , x 2 ,..., x n ) = f ( x1 , x 2 ,..., x n

,NOT :

f(x1 , x 2 , x 3 ) = x1 x 2 x 3
f ( x 1 , x 2 , x 3 ) = x 1 x 2 x 3 = x1 x 2 x 3
1 ,0 ,OR ,AND ,NAND
2

 )(
.4 ) f(x1 , x 2 ,..., x n )(monotonic
) f(x1, x 2 ,...,x n ) f(y1, y2 ,...,yn
x 1 , x 2 ,..., x n , y1 , y 2 ,..., y n

x i y i 1 i n ,i
AND, OR :
NOT ,XOR

00
1 0
11
0 1

)(
.5 ) f(x1 , x 2 ,..., x n )(linear

f(x1 , x 2 ,..., x n ) = a 0 a1x1 a 2 x 2 ... a n x n
} a n {0,1 i = 0,1,2,...n
:

f(x1, x 2 , x3 , x 4 ) = x1 x 4

 )(
): (Post
} {F
} {F -
.1 0
.2 1
.3
.4
.5
) 5-1 (
5

 )(
:
} {F -
} {F -
.1
.2
) 2-1 (

 )(
: XOR
?
: , XOR 0
NOR XOR

)OR(x,y
1
0
0
0

y
0
1
0
1

x
0
0
1
1

 )(
: XOR 0 1-
?
XOR

: XOR AND
?
, XOR AND .0

: ,XOR AND
0 1- ?
, XOR AND .
8

x = x 1