ИНТЕЛЛЕКТУАЛЬНЫЕ ИНФОРМАЦИОННЫЕ СИСТЕМЫ
.PDF
|
|
% " ) * % 0 0 % 0& " /
" / 0& '
1 * % 0 " % %< " / "% , ) " " % " "
) " ; 0 % " % %) %" " * % 0 ?
* R " ) % " p q 1 * / 0 " " ) ' <; *
0&) < "
•" / " P " " = 0&> 0 (
•" / ' %" 0& " (
•; " & % % 0 = " ' " > " " (
•; " & 0 0& * %
@" & 0 R " " =]XYHonbg> I ' < "
" ' " " " ) " " " % % * = " >) " ' " " " ) " " " ? & * I % / " "
0 / 0 = 4 > / ' " & = 0 " /
" " " * >
" " % <
0& * ) ' " " " < " % )
*
N 0 ' 0& 0 < "
•" & ' " 1@ ' <; " % " ? (
•* " " 1@ " 0 * % (
•" ' " " " " *%
* " ' " & " 0 / 0
0 " " 0 ) ) xC_ =xwX][ C[|w[Z[bYXYncb _XbglXg[ 0 "
>) C_ = bcde[fg[ C[|w[Z[bYXYncb _XbglXg[ 0 " > 1
? & 0 % " " " % * 0 O.F1 0 xC_ " * * < ) 0 _ C_
%" P / " ' " & " 0& ) ' " @ ) '
%< / " / 0' 0& 0 & ) ~•• 0 " ' < & 0 " " " ) " / "
"" * 0& * % @" " % / 0 C_) <; 0 / *
" "
J <' ) ' " 0 %; " "
" ) ' " 0 * ' ) " /
" /
%
j; P " " "" " " %""
+ ,/<? E F 0" ) ' & " %' & ' ' " ""%
|
|
% 0 / " 0 " / " ) " " ; ) 0&
"0 "
jFO. & ') M@ & '
p%" q " " / ) " 0& ' "
€8W = >) •C = >) 8•‚ =¬>) p " q R " / * 0&)
0 0&) " "" " % * p%" q " 1 0
< " ) % / 0 " " 0 " ) " " ; )
0 < " % * 0 " " @ ) ' " % *
' " " / %< " " %<; 0 "
5x & ' ‚ƒ`8 & ' & '→ & '
1 % ' " " / %< " " " 0
O ' " 0 % * 0& " " & 0 /" " " " % 0
" ) 0 0 < " + + + 1 " ? "
0 " %<; 1%" / " " ' 0 &
1 5x A = a1 B = b1 ‚ƒ`8 Z := z1( 1 5x C = c1 D = d1 ‚ƒ`8 B := b1( 1 5x C = c1 D = d2 ‚ƒ`8 B := b2( 1 5x A = a1 ‚ƒ`8 D := d1
@ ) ' ? & & " ) ‚ƒ`8 ' " ) < " "
" 0& ' 0 „) 7 "
/ M ) ) 1 % ) ' " "
A = a1) Q % " ? " / ' d1=D := d1> ) " 0 ) 0 %
' D = d1 J 0 % * 0& " " & " 6 +)
" " " / P " " 0) % "0 < " >
0) " 0 ' 0 > 0) " P % / " & 0 " 0 " ) " " " %<; % 0 " " " Q
1%" / ' " Q " 0 A = a1 C = c1 -0 & 0 " /) ' " % ? & ) 0 0 %' /) " / % 0
O ' " 0 " " " * ' ""% "& " %<; "& ,
P " " " " & )
%" ) 5x ' " /) " " 0 ' ) 0" 0& " Q J P " %' ? 1 R 5x ' " / " ) " Q " /
A = a1 P 0 " " " , P 0 " " ) "
‚ƒ`8 ' " " " 1 ) D = d1 ; " " % Q P
0 " "
" " " " " ) " 1 ) & )
5x ' " / " ' " & % " Q J )
' ' C = c1 D = d1 % / " " " 1
." 1 < " Q " 0
B = b1 * % " " " " ' & )
; "%; " %< ) 0 " " / " ) ; 0 " % Q
|
|
|
|
|
|
|
|
|
||||
|
A = a1 |
|
|
A = a1 |
|
A = a1 |
|
A = a1 |
||||
|
C = c1 |
|
|
C = c1 |
|
C = c1 |
|
C = c1 |
||||
|
|
|
|
D = d1 |
|
D = d1 |
|
D = d1 |
||||
|
|
|
|
|
|
|
B = b1 |
B = b1 |
||||
|
|
|
|
|
|
|
|
|
Z |
= z1 |
||
A=a |
B=b |
. |
|
A=a |
B=b |
. |
= z |
A=a |
B=b |
. |
= z |
|
Z .= z |
Z . |
Z . |
||||||||||
1 |
1 |
. |
1 |
1 |
1 |
. |
1 |
1 |
1 |
. |
1 |
|
C=c |
D=d |
= b |
C=c |
D=d |
= b |
C=c |
D=d |
= b |
||||
B . |
B . |
B . |
||||||||||
1 |
1 |
. |
1 |
1 |
1 |
|
1 |
1 |
1 |
. |
1 |
|
C=c |
D=d |
= g |
C=c |
D=d |
. |
C=c |
D=d |
= g |
||||
G . |
G .= g |
G . |
||||||||||
1 |
2 |
|
1 |
1 |
2 |
|
1 |
1 |
2 |
|
1 |
|
A=a |
. |
|
|
A=a |
. |
|
|
A=a |
. |
|
|
|
D .= d |
|
|
D .= d |
|
D . = d |
|
|
|||||
1 |
1 |
|
1 |
|
1 |
|
1 |
1 |
|
|||
|
I " ( ) * |
|
|
I % / ' " 0 % " " " Q "
"" ? 0 0 Z = z1) B = b1) D = d1 0 A = a1) C = c1)
" 0 ' 0
1 ) ' % 0 0 " * ' 0 " *
"& " ) <; & 0 0 ' " , " /
) * ' 0 ) ? 0 "
) " " P
, & " / * ' ""% " %<; " % * 1 ) 0 & " / / % ) ' 0 %" / 0 ) ) Z = z1)
% "& %< * <) ' 0 %; " %' . 0 " ) " "
/ " ) ' A = a1 C = c1 " % Z = z1… ." 0
0 " * /<) Z R *
J ; ) * " % /) " " / / %< * ' % ""% J *
0 % / " / " % Q ) ' 0 0 " /) & " "
%' " ' 0& "%<; " j" )
& %" ) " " " / " ) * "" 0 % " ) 0 < ' ; " "%<; "
J "" " % * ? % " 0 * ' " "% 1 ? " " " " ' " % " " " Q
J P " %' " Q 0" 0 / 0 A = a1 C = c1) "%
<; " M " " " " ) ' " ) ' 0
&) ‚ƒ`8 ' " " " Z := z1 J " %' ? 1 , ? ) " " P ) ' & %" / 0 A = a1 B = b1) " ;
5x ' " F " 0 " %" / 0 ) " ' " % Q J " %' ? " % %" &%) A = a1 & " " Q
M " " " " % ' %< * / R %" |
/) |
" |
B = b1 1 " / % ? "% " % " Q ) " " |
0 |
" ) |
‚ƒ`8 ' " 0 " " B := b1 1 1 % ? % <
, " %<; P " " 0 " %" / 0 C = c1 D = d1) " ; " 5x ' " 1 1 0 0" " % Q J D = d1 " " '
% ' * /< " " 0 1 " / % " Q ) " " & ) %
' " " " D := d1 M " 1 5x ' " /
1 0 ) A = a1 0" " Q
J % / 0& P " "/ * ' " 0& % " 1 → 1
→ 1 M / " " ' & ? * ' 1 1
> A = a1 = 0" " % Q > " % D = d1 = " "
1 >( |
|
> D = d1 C = c1 " % |
B = b1 = " " 1 >( |
> B = b1 A = a1 " % |
"%<; " Z = z1 = " " 1 > |
, ? * "" 0 ' " 1 0 * ' ""% % / " % * ) "
* = " % ' > & 0 % " %" /
0 ) " " Q J ? " %' % / " " )
<; ) " " %<; " ' %) <; % " ? " " )
) pJ ) ' B = b1…q pJ ' )q) " "
* "" 0 -0 "" '%) % " " ;/< ' " 0 %" / " " /
@ & " %' & % " /) '
* %" ) ' " 0 0 0) " ; " "
1 " " " * " 0 1 / " %<;
' 0&) " / % 0& "
G R % / ) T R % ) L R % / * ) D R
*
1 5x @ r † † €8W A ‡ €8W A ‚ƒ`8 ? r † †( 1 5x @ r † † €8W A ‚ƒ`8 ? r † †(
1 5x B ‡ 9 ‚ƒ`8 @ :=† †(
1 5x B 9 ‚ƒ`8 @ :=† †
1 ) 0 & %" / * = >) /
' * ?0 1%" / ' ' " 0 " % *
" 0 " %<; 0 Ar ) B r 1 " ? 0 " % Q F& 0 " " 0 * ' ""%
F ' % ) ‚ƒ`8 ' " * D " "
# J " %' ? 1 ' 0 1 " "/) &
% ! & '
|
9 |
0 %" 5x ' " ? " " 0 " / 0 G T 1
G " " * ) " " 0 " / '
1 ) ‚ƒ`8 ' " G " " ' a 1 @ ? " " ) %" (L < 15) 0 M ; " " %<; G 1 1 / ' *
G = † † 0" " " % Q '
T & " " " " Q J ; "/ % 1 ) " " % ) ' " " ) %" 5x ' "
F " ; % ) * D '
1 " ? 0 " ) " Q " " %'
" & 0 0 1 * "" 0 ' ) *
@) ' / 0& % * 0& " " & * ' " 0& ) %' <; "
' " 0 ) " / ' / ' " = " / & " >
1 " % * ' ; " " / %< 0& " &)
%< " % / 0 ) 0 0 " =
? " >) " / %< " %' * ) % " F / 0 "
% * < "
•" " / 0& (
•" * (
•" & ' " 0
@ % % * " / " 0 " 0
•" " / 0& P (
•" " / * * " ) " 0& (
•"% " " ' " 0
, " % 0 " ) /P " / 0& ? " 0& " " "
& ) " / %<; & % * . ? % 0 % % *
/P " < " % "
' ( !
" " " ..F P " / %< " 0
"' " = 0> ."' " " "
"' " 0" 0 <' " /< " " %< ' " / 1 ? % " " "' " ' " "" "' " 0" 0
, ' / ? " ..F " / % " ) ) " " 0 0 @" 0 R @ 0 / " ) /< M " % / " "
' 1 ) <; " " ' ) 0 < 0" 0 ."' "
0" 0 " 0 " " 0" 0 ? 0
0" 0
J0" 0 ' < " 0 " % A, B, C . . . " " "
0 < , ) P S J- S( Q S 0
S "/ ' p ' <q ) ' " " x = a; |
b x c |
" / 0" 0 M ) S x = a L b x c R ? |
0" |
0 J & ' "%; " "P " % ' " |
|
* / % ) 0" 0 ) " " ' ) |
|
0 / " ) /< ." % ' < C ) / R D , ) P = C ' ) ' J-
) Q = D R 0 . " " " 0& ' C D " / %< " " & 6
" 0 0" 0 %' /) " / % " " % * / 0 "
"F (A, B, C . . . )) 0 < " " " 0 ' A, B . . . L% * F (A, B, C . . . )
0' < " " ;/< ." " * " " 0
0 ' " " ? 0& 0" 0 A, B, C . . . ' "
" 0" 0 F * A, B, C . . . F 0" 0 F (A, B, C . . . ) 0 " % * 0 " " %<; & % ) " "
% *
5 " +
. ? 0& 0" 0 " ;/< ' " & * " / " 0
" " 0 0" 0 I "" " 0 ' " *
|
|
|
|
|
|
|
|
|
7 ' < |
' 0 " 0 , ¬ -0 % " / |
|||||||
|
|
|
|
|
|
+ M ) " A S & |
||
/ 0 & j" " / 0" 0 A) |
A ' " |
|||||||
|
|
|
|
|
|
|
|
|
S) A ' ) ' & |
|
|
|
|
|
|
||
89 ' : " < j ' < |
p q) 0 " " % |
" < % p q , ) " A S " /S( B S % / S) A B '
) ' " / % / @' ) ' A B ' ) '
" /) % / J0" 0 A B " / " %' ) "
" 0 0" 0 A B
= 89 ' : " < j ' < p q) 0 " " % " < % p q J0" 0 A B ' " pA Bq ) ' Q< * < <
" 0" " <' <; ) % J0" 0 A B /
" %' ) 0 " 0&
' @ * ? * ' " " ≡ " " %<;
" A B R 0" 0 ) A ≡ B =' " pA / ) Bq R " 0" 0 ) " / ) A B < "
" ' J " " 0 ) ' " 0& &) 0 ?
0& "% " / %< " < 0 p P/ %" ) ' q) p / " %' )
) q) p / ) ) q % , E,
1 2 F
9 + ' P & * 0" 0 '
" / % " " p→q . * " " %<; " A B R 0"
0 ) A → B =' " pA * % Bq> R " 0" 0 ) " " )
" %' ) A " ) B J * A → B 0 ' A 0 "
) B R
( → ) * ) A B
& & ! & ! ) A B
,
, & ) )$ -
. & ! B A- / !
& 0 ) & / ! , $) & ) ! " !
# ! " ! # ! )
$ !- ) & ) & & A & & B 0
! ! & & → ! ! 1 & )
! , 2 2 × 2 = 5
4 5 4 6 & & & & ' !
! &
J ' " " 0 0" 0 ) " " 0 ? 0& 0" 0
= * / 0& % > " ;/< 0& ' " & * ) 0 < " #
" R * / 0 0 < " 0" 0 )
0 %< " " %<; = % " >
• * / % " / * / (
• " F G R * / 0 0) F , F G) F G) F ≡ G) F → G R
* / 0 0(
• % 0 < " * / 0
1 * / 0 " 0
(A → B) (A C) → A C.
K " % ' " " p * / q " / % " p % q J"< % 0 % % / ?
% " " ' ) " " " 0 '
& ; & * / 0& % @ " " 0& ' % 0 0 < +)
" "0 " " 0& ' * / 0 % ) & ; % % @
' % 0 " " / " " |
*0 ' " & * |
||||||||||
= > |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
A B |
A B |
A → B |
A ≡ B |
|
|
|
A |
B |
|
A |
|
||||||
|
. |
. |
O |
. |
. |
. |
|
. |
|
||
|
. |
O |
O |
O |
. |
O |
|
O |
|
||
|
O |
. |
. |
O |
. |
. |
|
O |
|
||
|
O |
O |
. |
O |
O |
. |
|
. |
|
||
|
|
|
|
|
|
|
|
|
|
|
|
M * ." " * ' " & "
|
|
|||
|
% " " %< % * <) ' ' 0 % 0 % / % |
|||
|
% " " %< % * < ' 0 % 0) <; % |
% " " %< |
||
% * <) 0 < " " / 0 j" F G R " / 0 % 0) |
%" " " / |
|||
F = G 1 " / " %& % |
|
|||
|
P → Q = |
|
Q. |
|
|
P |
= > |
" ) 0 / p%& * q) %< / ' "
0 J ' " /" = > " " %<;%< " " %< *%
|
|
|
|
|
|
|
|
|
|
P |
Q |
|
|
P Q |
P → Q |
|
|
|
. |
. |
|
. |
. |
|
||
|
. |
O |
|
|
|
O |
O |
|
|
O |
. |
|
. |
. |
|
||
|
O |
O |
|
. |
. |
|
||
|
|
|
|
|
|
|
|
|
M * p & |
* q |
) ' " * / 0& % P Q = > " / < 0 % 0
L % ) " < 0& * &) 0 " " " )
+ 1 < " % 0 A A R p " <' / q
((P → Q) P ) → Q
L % ) = ' D> " & * &) 0 " #
1 ' < " " %<; % 0 A ≡ A) A A) (P → Q) (P Q)
F ' " " / % " "/ F = ) ' R F =
M F1 → F2) F1, F2 R % 0) 0 < " 0 1
" %<; & 0 |
|
||||
(P → Q) P → Q = |
= ]cflZ |cb[bZ>. |
||||
(P → Q) |
|
→ |
|
= |
|
Q |
P |
= ]cflZ Ycee[bZ>. |
I " / " / % 0& 0" 0 ' < C / " " ) "
& *% " "
I "" ; 0 1%" / P Q Q R R " 0& 0" 0 M
0" 0 P R " /" "" " <' <; & " %' 0 " 0 Q " 0" 0 Q j" (Q = C )) Q = D ) " / ) R = C )% " % ) ' P R = C j" Q = D ) & P = C J < " %' " "
0" 0 P R % " 0 P ? 0
|
|
(P Q) ( |
Q |
R) → P R = . |
= > |
||
1 = > 0 " + |
9) 0 P R R |
||||||
|
|
|
|
|
|
||
0" 0 P Q Q R |
|
|
|
||||
j" = > 0" 0 R =R = D >) |
= > |
|
|||||
|
|
(P Q) |
|
→ P = , |
|
||
|
|
Q |
= > |
|
|
||||
|
|
|
|
|
|
/ ' " & 0 P Q Q " 0" 0 P @' |
|
||||
" |
|
||||
(P |
|
) Q → P = , |
|
||
Q |
= > |
%' " = > Q Q
J " / 0 " ) ' < " / / ' " 0
% " ? 0 ' " "
J <' ? 0 0 " / 0 % 0) & 0
P ' ' "
& *
F → G = |
F |
G. |
= 9> |
0
% 0
J G = G J ;
J G = G J ;
"" * 0
(J G) H = J (G H); (J G) H = J (G H);
" % 0
J(G H) = (J G) (J H);
J(G H) = (J G) (J H);
-
(J H) = J G; (J H) = J G.
= >
= >
= >
= >
j" F (A, B . . . ) R ) " ; / ' " * * ) Q< *
Q< * ) %' * F (A, B . . . ) "& F (A, B, . . . ) & "
% 0 / & * ) * Q< * Q< * / " )
" / " ) ) " R " 0 <
-
, ) "
F = (A1 A2) (A3 A4 A5) A6,
" " -
F= (A1 A2) (A3 A4 A5) A6.
" " " 0 %
F = ; |
= > |
F = F ; |
= > |
F = F ; |
= > |
F = . |
= > |
|
|
|||||
|
" " * |
|
||||
|
|
|
= F ; |
= > |
||
|
|
|
|
|||
|
|
F |
||||
|
F ( |
|
) = ; |
= 9> |
||
|
F |
|||||
|
F ( |
|
) = . |
|
||
|
F |
= > |
1 0 " < " / / " " 0 ' % ) " "
& %< " " %< *%
J /P " " %' < " " % * " / " / %<
% % " " 1 " " " " " %<; I " " %< % * < F ) " ;%< * / 0& % A, B, C " %<
" %<; " " *
, |
A |
B |
C |
|
F (A, B, C) |
|
|
|
|
|
|
|
C |
C |
C |
|
C |
|
C |
C |
D |
|
D |
|
C |
D |
C |
|
C |
|
C |
D |
D |
|
C |
9 |
D |
C |
C |
|
D |
|
D |
C |
D |
|
C |
|
D |
D |
C |
|
D |
|
D |
D |
D |
|
C |
|
|
|
|
|
|
M * L% * 5
I "" " ? *0) 0& F (A, B, C) =D " " ) 9
" " " Q< * < % A, B, C & * ) ' 0 Q< *
"/ ' < D " " %<; & ' A, B, C
M ) " u ? Q< * (A B C)) " u 9 R (A B C)) "
u R (A B C) @ ' ? Q< * " " D2, D5 D7 @' ) '
" 0& Q< * Dj ' C " / 0& " & H i = j *0
M = Q< * > D2 D5 D7 ' C " & " & " )
0 ) 9 ) ? & " & D ) " / % " " '
" D
M ) ' " " % * F D2 D5 D7 " < " & * &
* / 0& % )
F = (A B C) (A B C) (A B C).
L ' " " % " %<;
* & D F 1 A1 . . . , An
+1 ; + 6 + +
2 ! n ! &' &'
2n ! ! &'