() : . .
, .
x12 . (. 1.11).
(P 1 ^ P 2 ^ P 3) . 3 - .
0 - .
| Û (1,2) ê x ê= ê 0 A12 ê ê y ê= ê A1A12 ê ê zA ê= ê A2A12 ê ê A1A12 ê=ê A3A23 | A2A3 ^ z |  
|
1.11
, ( ). , - , (. 1.12).
1.12
:
1) .
2) , ?
3) ?
4) .
5) .
6) ?
7) .
8) ? .
9) .
10) .
11) , 1-4 .
12) , P 1 P 2.
13) .
, .
.
.
: F ()[ ]
() - , ;
[ ] - , .
.
.
, .
, .
2.1
|
|
|
, 3 , ; , , .
.
, , .
ÎS () (.2.2 ) Î (a || b) (.2.2 )
:
 ) S(,,) D()
 ) R (,b)
) T ( ∩ b)
) G ( || b)
| 
| 
|
| ) | ) | |
| 
| |
| ) | ) |
2.2
