,
a-
-
a&b -> c
,
,
,
P(x,,z)
-
,
,
, , n
,
,
( )
1) ( ) () -
2) , ,
,
3)
(1)
,
f(x1)
4) ,
(2)
, = 1
,
()
,
! -
() = 0
()=1
|
|
,
.
()
()
1
x(H(x)->M(x))
H(c1)
?(M(c1)
1) ((() ())
2) (1)
3) (1)
4)
, , ,
(1)
5) (4,3)
()
()
(,)
(,)
(,)