Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

ИНТЕЛЛЕКТУАЛЬНЫЕ ИНФОРМАЦИОННЫЕ СИСТЕМЫ

.PDF
Скачиваний:
17
Добавлен:
17.03.2015
Размер:
1.54 Mб
Скачать

 

 

% " ) * % 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 '

" / % " " pq . * " " %<; " 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 ! ! &'