1. 132 2
+− xx
4
3 xxy −
yx
x
42
1
+
+
4
3
3
2
1 2
++ yy
z43 −
( ) 2
3,26
−
+x
1
9
52 3
2
++
−
+
x
x
x
4223
35,077 −
−++ xxx
4
1
3 3
−+ xx
2
1
2
69 xx +
( ) ( )[ ]qqpqp ∨−∧−∨∧
0: ≥∀ xx
2: 2
≤∀ xx
2/ 2
≤∃ xx
( )00: 2
≥→≠∀ xxx
9/ 32
=+∃∃ yxyx
( ) ( )( ){ }12:/ ≥∨−≤ℜ∈= xxxxS
( ) ( )qpqp −∧−⇔∨−
( ) ( ) ( )rqprpqp ∧→⇔→∧→
oFpp ⇔−∧
( ) ( ) ( )
2
21
121
1
1
+⋅+
=++++=∑
+
=
hh
hhi
h
i

( )
2
13
3
1
+
=∑=
nn
i
n
i
( )
6
11
2
3
1
1
3
4
3
5 nn
n
−
=





+−++++ 














−=





++++
− nn
5
2
1
3
5
5
2
25
4
5
2
1
1

( ) ( )CByBA ⇒⇒
α≡∧
∉∧
↔
↔↔
aAt
AaAh
)
)
aaMM →−
:1

→→
∃ 1
:: ababM
( ) { }aCT Ro =∩ ,
bommoaabD ˆˆ
__
≈⇒⊥
( )22
2ˆˆˆ
−∩
=++
R
Rγβα
( )Roext aCCRD ,⇒≤
( ) RDEC RO ≥∨Φ=∩
↔
,
( )
111
,
1
/ RoaoaoaCa RO ≤∧≥∈∃
→→→
( ) { } RoDqpSC Ro ≤=∧∴
↔
;,
→→
−= aoRoaa 111111
:/
111
Ro ≤α
( )[ ] ( )[ ]trqpsrqp −∧∨∧−∧∧∨∨