, , - 16.
14
15
16
f :
1) ( ) , f ;
2) , f, .
( ) .
f .
, , -.
. , .
, 17. :
: x1x2 v /x1/x3 v /x3/x4; : (x1 v /x3)(/x3 v x4)(x2 v /x4).
17
, 18. :
: x3 v x2x4; : (x2 v x3)(x3 v x4).
18
, 19. : : x1/x4 v /x1x2x4; : (/x1 v /x4)(x1 v x2)(x1 v x4).
19
, 20. - : : x3 v x1x4 v x1/x2; : (x1 v /x3)(/x2 v /x3 v x4).
20
.
, :
- ;
- .
.
, , , .
, , .
: "", "" "".
|
|
|
