20

3:
3.1:

 , 20, 3.1:

.
.
1.
2.

1.
2.
3.
4.
5.

3.

1.
2.
3.
4.
5.

6.

4.
1. ( )
2.

5.
1.
2.

6.
.
1.
2.
3.

 , 20, 3.1:

.

.

.

.

(-)

 , 20, 3.1:

B.
1.
( 1) :
:
(.. x1,x2,)
: , , , ,
: ( )
:
:
: :
: P1/m1, P2/m2,
: f1/m1, f2/m2,
: c1, c2,
:
(1)
(1)
Pi / mi Pi mi
fi / mi fi mi
..

 , 20, 3.1:

B.
2.
1.
:



,
.
:
:
fatherOf(x)

.
mult(x,y)

.
sum(x,y)

.

 , 20, 3.1:

B.
2.
2.
:


:
:
less(x,y)
x<y
greater_equal(x,y)
xy
odd(x)
x
likes(x,y)

1
2

 , 20, 3.1:

B.
2.
3.
.
x
:

x x
x

!! : x
x

x
x
x
.
:
. (.. 2)
.

 , 20, 3.1:

B.
2.
4.
.
x
:

x x
x

!! : x
x
x
.
x

x
:
/ 2. ( x=2)
1.

 , 20, 3.1:

B.
2.
5.

.
:
, .
, .
!!

 , 20, 3.1:

B.
3.
1.


.

( ! )

:
: , .
:

.
:
:
:
: .

10

 , 20, 3.1:

B.
3.
2.
: :
M

! " , "# ,, "$ ! n
"% , & 1, , ) .
.


!! :



:
5, x, y, sum(5,4), mult(sum(5,3),2), fatherOf(fatherOf(fatherOf(x)))

11

 , 20, 3.1:

B.
3.
3.
: :
*

*# * , *# .

P * , *# ,, *$ , n
*% , & 1, , ) .
.


:
- 3
"/" !0*1234! 5/1)
6320*23_*10) 3,5
92:: :;< 2,2 , <;9* 1,3

12

 , 20, 3.1:

B.
3.
4.
: :

=, = ?, = ?, = ?, = ? =, ? .

( ),
.

- , - .


:
, -, A B C, D P/2, Q/2

"/"

!0*1234! 5/1)

- Q x P x R x P/1, Q/1, R/1

- A, -, A

P/2

!! ( )
:

13

 , 20, 3.1:

14

B.
3.
5.
:
: , ,
: ,
: ,

:

P/2
f/1
c:
x,y:
:

x( x y ) x[y ( P( z , f ( x)) P( x, c))]

x( x y )

x[y ( P( z , f ( x)) P( x, c))]

xy

y ( P( z , f ( x)) P( x, c))

P( z , f ( x)) P( x, c)
P( z , f ( x))

P ( x, c )

f (x)
x

 , 20, 3.1:

15

B.
3.
6.
:
.
.

:
- B - , A P/1,Q/1
x . x
y .
- ! A yQ x, y f/1 , Q/2
x - ! A
y - ! A
x yQ x, y .
y yQ x, y
-A B -, A Q/2
x . x
y . A

 , 20, 3.1:

B.
4.
1. ( )

, :
( )
/ ( )
:
( ) :


.
:
.

16

 , 20, 3.1:

17

B.
4.
1. ( )
: ( ) :
H ( |H| )
.
f/) : ! L : |H|$ |H|
,/) : , L |H|$
c : D L |H|

( )

 , 20, 3.1:

B.
4.
1. ( )
1: :
! D , D#
:
O

!/2 ! P -, A
-QA
H D D P 9
H D# D# P 4

: 9+4=13

18

 , 20, 3.1:

B.
4.
1. ( )
2: :
DT ! D , D#
:
O

!/2 ! P -, A
-QA
H D D P 9
H D# D# P 4
H DT DT P 11

: 11=13, .

19

 , 20, 3.1:

B.
4.
1. ( )
3: :
-B -, D
:
O

Q/2 B P -, A x<y
H D D P 5

- - U 5
5 (.. x=6)

20

 , 20, 3.1:

21

B.
4.
1. ( )
4: :
-B -, D
:
O

Q/2 B P -, A x>y
H D D P 0

- - W 0
0 ( x=0)

 , 20, 3.1:

22

B.
4.
2.
: v
.
: v: |H|
:



.
(
)

 , 20, 3.1:

B.
4.
2.
5: :
-B -, A
:
O

Q/2 B P -, A x<y

v(y)=1

- - U 1
1 ( x=0)

23

 , 20, 3.1:

24

B.
4.
2.
6: :
-B -, A A C ! A, C
:
O

Q/2 B P -, A x<y
f/2 ! P -, A
-QA

v(y)=1, v(z)=2

- - U 1 A 2 A Q 2
1 2,
2 ( x=0 y=0)

 , 20, 3.1:

25

B.
5.

.
.

:
sum/2
mult/2
, :
E(x) x :
- A - <;9* 2, A
O(x) x :
O - A - :;< <;9* 2, A , 1

:

 , 20, 3.1:

B.
5.

. :

x ] - 4
x ] -

4 -

x ] - 4
x ] - AC 4 A 4 C ...

:;< A, C

26

 , 20, 3.1:

B.
6.

1
2

^_`a=bc

^_`a=bc
^_`a=bc

^_`a=bc
^_`a=bc

^_`a=bc
^_`a=bc

^_`a=bc
^_`a=bc

^_`a=bc

^_`a=bc
^_`a=bc

^_`a=bc
^_`a=bc

^_`a=bc
^_`a=bc

^_`a=bc
^_`a=bc

27

 , 20, 3.1:

28

B.
6.

6

dedaca= a`g

dedaca=

dedaca=
Y

dedaca=

dedaca=

bhibc
Y

bhibc
Y

bhibc

bhibc

dedaca= a`g

-A

- bhibc ji A

-A

- bhibc ji A

dedaca=

 , 20, 3.1:

29

B.
6.

10
11

-A
-A

- bhibc ji A

- bhibc ji A

12

-A - k A

- bhibc ji A

13

-A - k A

- bhibc ji A

bhibc

bhibc

Y
bhibc

Y
bhibc

bhibc
/

bhibc
/

 , 20, 3.1:

30

B.
6.

14

ded`aca= ba` A

`j`d= ded`aca= ba` A

15
-A

ded`aca= ba` `j`d= ded`aca= ba` A

- kA

`j`d= ded`aca= ba` C

C
C -C A

 , 20, 3.1:

.
1
:
1. x[y (Q( f ( x), f ( y )) x c y d )]

2. Q(c, d ) xyQ( x, y ) yx( x d y f ( x))

Q/2 , f/1 , c,d
.

31

 , 20, 3.1:

.
2
P/2 Q/3 , f/2,g/3
, c,d x,y,z .
, , ,
:

1. xyP( x, y )
2. xyQ( x, y )
3. P( f ( x, y ), g ( x, f ( x, y ), c))
4. Q ( x , c , d ) P ( x , y )
5. Q( x, f ( x, y ), y ) zP ( x, x)
6. g ( x, f ( x, y ), c) xyP( x, y )
7. P( f ( x, x), Q( x, g ( x, x, x), x))

32