konverskii_a_e_logika

ǸȖȏȌȭȓ Vǟǟǟ. ǷȖȕȧȚȚȧ

141

ɍ ɜɿɞɧɨɲɟɧɧɿ ɱɚɫɬɤɨɜɨɝɨ ɫɩɿɜɩɚɞɚɧɧɹ ɡɧɚɯɨɞɹɬɶɫɹ ɩɨɧɹɬɬɹ, ɨɛɫɹɝɢ ɹɤɢɯ ɱɚɫɬɤɨɜɨ ɫɩɿɜɩɚɞɚɸɬɶ. ɇɚɩɪɢɤɥɚɞ, «ɩɢɫɶɦɟɧɧɢɤ» — «ɥɚɭɪɟɚɬ», «ɤɚɦɿɧɶ» — «ɤɨɲɬɨɜɧɿɫɬɶ» ɬɨɳɨ.

ɯȺ(ɯ) ɱɚɫɬɤɨɜɨ ɫɩɿɜɩɚɞɚɽ ɡ

ɯȼ(ɯ) =Df ɯ (ɯ Wx A(x) & x Wx B(x)) &Cɯ (ɯ Wx A(x) & x

Wx B(x)) — ɬɨɛɬɨ, «ɩɨɧɹɬɬɹ ɯ Ⱥ(ɯ) ɱɚɫɬɤɨɜɨ ɫɩɿɜɩɚɞɚɽ ɡ ɩɨɧɹɬɬɹɦ ɯ ȼ(ɯ) ɬɨɞɿ ɿ ɬɿɥɶɤɢ ɬɨɞɿ, ɤɨɥɢ ɿɫɧɭɽ ɬɚɤɢɣ «ɯ» ɞɥɹ ɹɤɨɝɨ ɜɿɪɧɨ, ɳɨ ɜɿɧ ɽ ɿ ɟɥɟɦɟɧɬɨɦ Wx Ⱥ(x) ɿ ɟɥɟɦɟɧɬɨɦ Wx B(x) ɿ ɧɟ ɜɿɪɧɨ, ɳɨ ɛɭɞɶ-ɹɤɢɣ «ɯ» ɽ ɨɞɧɨɱɚɫɧɨ ɟɥɟɦɟɧɬɨɦ Wx A(x) ɿ ɟɥɟɦɟɧɬɨɦ Wx B(x)».

ɋɯɟɦɚ ɜɿɞɧɨɲɟɧɧɹ ɱɚɫɬɤɨɜɨɝɨ ɫɩɿɜɩɚɞɚɧɧɹɦɚɽ ɬɚɤɢɣ ɜɢɝɥɹɞ:

Wx A(x)

Wx ȼ(x)

ɇ ɟ ɫ ɭ ɦ ɿ ɫ ɧ ɢ ɦ ɢ ɧɚɡɢɜɚɸɬɶɫɹ ɩɨɧɹɬɬɹ, ɜɢɞɨɜɿ ɨɡɧɚɤɢ ɹɤɢɯ ɨɛɭɦɨɜɥɸɸɬɶ ɩɨɜɧɟ ɧɟɫɩɿɜɩɚɞɚɧɧɹ ʀɯ ɨɛɫɹɝɿɜ.ɇɚɩɪɢɤɥɚɞ, «ɝɭɦɚɧɿɬɚ-

ɪɧɿ ɧɚɭɤɢ» — «ɩɪɢɪɨɞɧɢɱɿ ɧɚɭɤɢ», «ɨɛɝɪɭɧɬɨɜɚɧɢɣ ɜɢɪɨɤ» — «ɧɟɨɛɝɪɭɧɬɨɜɚɧɢɣ ɜɢɪɨɤ» ɬɨɳɨ.

ɯ Ⱥ(ɯ) ɧɟɫɭɦɿɫɧɟ ɡ ɯ ȼ(ɯ) Df= C ɯ (ɯ Wx A(x) & Wx B(x)) —

ɬɨɛɬɨ «ɩɨɧɹɬɬɹ ɯ Ⱥ(ɯ) ɧɟɫɭɦɿɫɧɟ ɡ ɩɨɧɹɬɬɹɦ ɯ ȼ(ɯ) ɬɨɞɿ ɿ ɬɿɥɶɤɢ ɬɨɞɿ, ɤɨɥɢ ɧɟ ɿɫɧɭɽ ɬɚɤɨɝɨ «ɯ», ɹɤɢɣ ɨɞɧɨɱɚɫɧɨ ɧɚɥɟɠɢɬɶ ɿ Wx A(x) ɿ Wx

B(x)».

ɇɟɫɭɦɿɫɧɿ ɩɨɧɹɬɬɹ ɦɨɠɭɬɶ ɡɧɚɯɨɞɢɬɢɫɹ ɭ ɬɪɶɨɯ ɜɿɞɧɨɲɟɧɧɹɯ: ɚ) ɩɪɨɬɢɪɿɱɱɹ; ɛ) ɩɪɨɬɢɥɟɠɧɨɫɬɿ; ɜ) ɫɭɩɿɞɪɹɞɧɨɫɬɿ.

ɍ ɜɿɞɧɨɲɟɧɧɿ ɩɪɨɬɢɪɿɱɱɹ ɡɧɚɯɨɞɹɬɶɫɹ ɩɨɧɹɬɬɹ, ɡɦɿɫɬ ɨɞɧɨɝɨ ɹɤɢɯ ɩɨɜɧɿɫɬɸ ɡɚɩɟɪɟɱɭɽ ɡɦɿɫɬ ɿɧɲɨɝɨ ɩɨɧɹɬɬɹ, ɚ ɫɭɦɚ ɨɛɫɹɝɿɜ ɰɢɯ ɩɨɧɹɬɶ ɜɢɱɟɪɩɭɽ ɨɛɫɹɝ ɪɨɞɨɜɨɝɨ ɩɨɧɹɬɬɹ. ɇɚɩɪɢɤɥɚɞ, «ɠɢɬɟɥɶ Ʉɢɽ-

ɜɚ» — «ɿɧɨɝɨɪɨɞɧɿɣ», «ɟɥɟɤɬɪɨɩɪɨɜɿɞɧɢɤ» — «ɞɿɟɥɟɤɬɪɢɤ», «ɩɨɜɧɨɥɿɬɧɿɣ» — «ɧɟɩɨɜɧɨɥɿɬɧɿɣ» ɬɨɳɨ.

ɋɯɟɦɚɬɢɱɧɨ ɜɿɞɧɨɲɟɧɧɹ ɩɪɨɬɢɪɿɱɱɹ ɡɨɛɪɚɠɭɽɬɶɫɹ ɬɚɤ:

Wx A(x)	Wx A (x)

Wx ɋ(x)

142	Ǩ. ǝ. DzȖȕȊȍȘșȤȒȐȑ. dzǶǫǟDzǨ

Ɍɚɤ ɡɦɿɫɬ ɩɨɧɹɬɶ «ɩɨɜɧɨɥɿɬɧɿɣ» ɯ Ⱥ(ɯ) ɿ «ɧɟɩɨɜɧɨɥɿɬɧɿɣ» ɯCȺ(ɯ) —

ɩɨɜɧɿɫɬɸ ɡɚɩɟɪɟɱɭɸɬɶ ɨɞɢɧ ɨɞɧɨɝɨ, ɚɥɟ ɭ ɫɭɦɿ ʀɯ ɨɛɫɹɝɢ ɜɢɱɟɪɩɭɸɬɶ ɨɛɫɹɝ ɪɨɞɨɜɨɝɨ ɩɨɧɹɬɬɹ «ɜɿɤ ɥɸɞɢɧɢ» ɯ ɋ(ɯ).

ɉɪɨɬɢɥɟɠɧɢɦɢ ɧɚɡɢɜɚɸɬɶɫɹ ɩɨɧɹɬɬɹ, ɡɦɿɫɬ ɹɤɢɯ ɜɿɞɪɿɡɧɹ-

ɽɬɶɫɹ ɜɢɳɨɸ ɦɿɪɨɸ. ɐɟ ɨɡɧɚɱɚɽ ɧɟ ɬɿɥɶɤɢ ɧɟɫɩɿɜɩɚɞɚɧɧɹ ʀɯ ɨɛɫɹɝɿɜ, ɚ ɣ ɬɟ, ɳɨ ɭ ɫɭɦɿ ɜɨɧɢ ɧɟ ɜɢɱɟɪɩɭɸɬɶ ɨɛɫɹɝɭ ɪɨɞɨɜɨɝɨ ɩɨɧɹɬɬɹ. ɇɚɩɪɢ-

ɤɥɚɞ, «ɩɨɱɚɬɨɤ ɡɚɧɹɬɶ» — «ɤɿɧɟɰɶ ɡɚɧɹɬɶ», «ɜɢɫɨɤɢɣ» — «ɧɢɡɶɤɢɣ» ɬɨɳɨ.

Ƚɪɚɮɿɱɧɨ ɰɟ ɜɿɞɧɨɲɟɧɧɹ ɮɿɤɫɭɽɬɶɫɹ ɫɯɟɦɨɸ:

Wx A(x)		Wx ȼ(x)

Wx ɋ(x)

əɤɳɨ ɜɡɹɬɢ ɩɨɧɹɬɬɹ «ɛɿɥɢɣ» ɯ Ⱥ(ɯ) ɿ «ɱɨɪɧɢɣ» ɯ ȼ(ɯ), ɬɨ ʀɯ ɡɦɿɫɬ ɜɿɞɪɿɡɧɹɽɬɶɫɹ ɜɢɳɨɸ ɦɿɪɨɸ (ɬɨɛɬɨ, ɰɟ ɤɪɚɣɧɿ ɜɢɞɢ ɨɞɧɨɝɨ ɪɨɞɭ, ɚɥɟ ɭ ɫɭɦɿ ɜɨɧɢ ɧɟ ɜɢɱɟɪɩɭɸɬɶ ɨɛɫɹɝɭ ɪɨɞɨɜɨɝɨ ɩɨɧɹɬɬɹ

«ɤɨɥɿɪ» ɯ ɋ(ɯ).

əɤɳɨ ɜɢɞɨɜɿ ɩɨɧɹɬɬɹ ɨɞɧɨɝɨ ɪɨɞɭ ɧɟ ɡɧɚɯɨɞɹɬɶɫɹ ɧɿ ɭ ɜɿɞɧɨɲɟɧɧɿ ɩɪɨɬɢɪɿɱɱɹ, ɧɿ ɭ ɜɿɞɧɨɲɟɧɧɿ ɩɪɨɬɢɥɟɠɧɨɫɬɿ, ɬɨ ʀɦ ɩɪɢɬɚɦɚɧɧɟ ɜɿɞɧɨɲɟɧɧɹ ɫɭɩɿɞɪɹɞɧɨɫɬɿ. ɇɚɩɪɢɤɥɚɞ, «ɦɟɬɚɥ» — «ɪɿɞɢɧɚ», «ɭɧɿɜɟɪɫɢɬɟɬ» — «ɤɨɧɫɟɪɜɚɬɨɪɿɹ», «ɤɪɚɞɿɠɤɚ» — «ɝɪɚɛɿɠ», «ɦɿɫɬɨ»

— «ɫɟɥɨ» ɬɨɳɨ.

ɋɯɟɦɚ ɰɶɨɝɨ ɜɿɞɧɨɲɟɧɧɹ ɬɚɤɚ:

Wx ɋ(x)

Wx A(x)

Wx ȼ(x)

Ʉɨɥɢ ɦɚɽɦɨ ɩɨɧɹɬɬɹ «ɩɨɟɡɿɹ» ɯ Ⱥ(ɯ) ɿ «ɩɪɨɡɚ» ɯ ȼ(ɯ), ɬɨ ɜɨɧɢ ɧɟɫɭɦɿɫɧɿ, ɚɥɟ ɪɚɡɨɦ ɩɿɞɩɨɪɹɞɤɨɜɭɸɬɶɫɹ ɩɨɧɹɬɬɸ «ɠɚɧɪɢ ɥɿɬɟɪɚɬɭɪɧɨʀ ɬɜɨɪɱɨɫɬɿ» ɯ ɋ(ɯ).

ǸȖȏȌȭȓ Vǟǟǟ. ǷȖȕȧȚȚȧ

143

Ɂɚɝɚɥɶɧɨɸ ɫɯɟɦɨɸ ɬɢɩɨɥɨɝɿʀ ɩɨɧɹɬɶ ɡɚ ɥɨɝɿɱɧɢɦɢ ɜɿɞɧɨɲɟɧɧɹɦɢ ɛɭɞɟ ɬɚɤɚ:

ɉ ɨ ɧ ɹ ɬ ɬ ɹ

ɉɨɪɿɜɧɸɜɚɧɿ ɇɟɩɨɪɿɜɧɸɜɚɧɿ

ɋɭɦɿɫɧɿ ɇɟɫɭɦɿɫɧɿ

Ɍɨɬɨɠɧɨɫɬɿ ɉɪɨɬɢɪɿɱɱɹ

ɉɿɞɩɨɪɹɞɤɭɜɚɧɧɹ ɋɭɩɿɞɪɹɞɧɨɫɬɿɉɪɨɬɢɥɟɠɧɨɫɬɿ ɑɚɫɬɤɨɜɨɝɨ

ɫɩɿɜɩɚɞɚɧɧɹ

Ⱥɧɚɥɿɡ ɜɿɞɧɨɲɟɧɶ ɦɿɠ ɩɨɧɹɬɬɹɦɢ ɦɚɽ ɜɚɠɥɢɜɟ ɡɧɚɱɟɧɧɹ ɞɥɹ ɞɨɫɥɿɞɠɟɧɧɹ ɥɨɝɿɱɧɨʀ ɫɬɪɭɤɬɭɪɢ ɫɭɞɠɟɧɶ ɿ ɭɦɨɜɢɜɨɞɿɜ, ɭ ɹɤɢɯ ɮɭɧɤɰɿɨɧɭɸɬɶ ɩɨɧɹɬɬɹ. Ɉɛɫɹɝɨɜɿ ɬɚ ɡɦɿɫɬɨɜɧɿ ɜɿɞɧɨɲɟɧɧɹ ɦɿɠ ɩɨɧɹɬɬɹɦɢ ɜɢɫɬɭɩɚɸɬɶ ɭ ɫɬɪɭɤɬɭɪɿ ɫɭɞɠɟɧɶ ɿ ɭɦɨɜɢɜɨɞɿɜ ɹɤ ɜɿɞɧɨɲɟɧɧɹ ɦɿɠ ɞɟɫɤɪɢɩɬɢɜɧɢɦɢ ɬɟɪɦɿɧɚɦɢ, ɚ ɬɚɤɨɠ ɟɦɩɿɪɢɱɧɨ ɜɢɪɚɠɚɸɬɶ ɫɦɢɫɥ ɥɨɝɿ-

ɱɧɢɯ ɬɟɪɦɿɧɿɜ: «ɜɫɿ», «ɞɟɹɤɿ», «ɫɭɬɶ», «ɿ», «ɚɛɨ», «ɹɤɳɨ, ɬɨ» ɬɨɳɨ.

Ɂɧɚɧɧɹ ɜɿɞɧɨɲɟɧɶ ɦɿɠ ɩɨɧɹɬɬɹɦɢ ɞɚɽ ɦɨɠɥɢɜɿɫɬɶ ɤɪɚɳɟ ɨɫɹɝɧɭɬɢ ɫɦɢɫɥ ɥɨɝɿɱɧɢɯ ɨɩɟɪɚɰɿɣ ɧɚɞ ɩɨɧɹɬɬɹɦɢ.

10.dzǶǫǟǿǵǟ ǶǷǭǸǨǾǟǠ ǵǨǬ ǷǶǵȇǺǺȇǴǰ

Ʌɨ ɝ ɿ ɱ ɧ ɨ ɸ ɨ ɩ ɟ ɪ ɚ ɰ ɿ ɽ ɸ ɧɚɞ ɩɨɧɹɬɬɹɦɢ ɧɚɡɢɜɚɽɬɶɫɹ ɬɚɤɚ ɞɿɹ, ɡɚ ɞɨɩɨɦɨɝɨɸ ɹɤɨʀ ɡ ɨɞɧɢɯ ɩɨɧɹɬɶ ɨɬɪɢɦɭɸɬɶ ɧɨɜɿ ɩɨɧɹɬɬɹ.

Ⱦɨ ɥɨɝɿɱɧɢɯ ɨɩɟɪɚɰɿɣ ɧɚɞ ɩɨɧɹɬɬɹɦɢ ɜɿɞɧɨɫɹɬɶɫɹ: ɚ) ɨɛɦɟɠɟɧɧɹ ɿ ɭɡɚɝɚɥɶɧɟɧɧɹ ɩɨɧɹɬɶ; ɛ) ɨɩɟɪɚɰɿʀ ɧɚɞ ɨɛɫɹɝɚɦɢ ɩɨɧɹɬɶ ɹɤ ɦɧɨɠɢɧɚɦɢ; ɜ) ɩɨɞɿɥ ɩɨɧɹɬɶ; ɝ) ɜɢɡɧɚɱɟɧɧɹ ɩɨɧɹɬɶ.

Ɍɪɚɞɢɰɿɣɧɨ ɩɪɢɣɧɹɬɨ ɜɜɚɠɚɬɢ, ɳɨ ɨɩɟɪɚɰɿʀ ɚ, ɛ, ɜ ɽ ɜɥɚɫɧɟ ɨɩɟɪɚɰɿɹɦɢ ɧɚɞɨɛɫɹɝɚɦɢɩɨɧɹɬɶ, ɚɨɩɟɪɚɰɿɹɝɽɨɩɟɪɚɰɿɽɸ, ɳɨɪɨɡɤɪɢɜɚɽɡɦɿɫɬɩɨɧɹɬɶ.

Ȉ) ǶȉȔȍȎȍȕȕȧ ȭ țȏȈȋȈȓȤȕȍȕȕȧ ȗȖȕȧȚȤ.

ȼ ɨɫɧɨɜɿ ɨɩɟɪɚɰɿʀ ɨɛɦɟɠɟɧɧɹ ɿ ɭɡɚɝɚɥɶɧɟɧɧɹ ɩɨɧɹɬɶ ɥɟɠɢɬɶ ɡɚɥɟɠɧɿɫɬɶ, ɹɤɭɮɿɤɫɭɽɡɚɤɨɧɨɛɟɪɧɟɧɨɝɨɜɿɞɧɨɲɟɧɧɹɦɿɠɡɦɿɫɬɨɦɿɨɛɫɹɝɨɦɩɨɧɹɬɶ.

Ɉ ɛ ɦ ɟ ɠ ɟ ɧ ɧ ɹ ɦ ɩɨɧɹɬɬɹ ɧɚɡɢɜɚɽɬɶɫɹ ɥɨɝɿɱɧɚ ɨɩɟɪɚɰɿɹ, ɹɤɚ ɩɨɥɹɝɚɽ ɜ ɩɟɪɟɯɨɞɿ ɜɿɞ ɩɨɧɹɬɬɹ ɡ ɛɿɥɶɲɢɦ ɨɛɫɹɝɨɦ, ɚɥɟ ɦɟɧɲɢɦ ɡɦɿɫɬɨɦ

144	Ǩ. ǝ. DzȖȕȊȍȘșȤȒȐȑ. dzǶǫǟDzǨ

ɞɨ ɩɨɧɹɬɬɹ ɡ ɛɿɥɶɲɢɦ ɡɦɿɫɬɨɦ, ɚɥɟ ɦɟɧɲɢɦ ɨɛɫɹɝɨɦ. ɇɚɩɪɢɤɥɚɞ, ɜɿɡɶ-

ɦɟɦɨ ɩɨɧɹɬɬɹ «ɥɸɞɢɧɚ» ɯ Ⱥ(ɯ) ɿ ɨɛɦɟɠɢɦɨ ɣɨɝɨ. Ⱦɥɹ ɰɶɨɝɨ ɩɨɫɥɿɞɨɜɧɨ ɡɛɚɝɚɱɭɽɦɨ ɣɨɝɨ ɡɦɿɫɬ ɧɨɜɢɦɢ ɨɡɧɚɤɚɦɢ: «ɩɨɟɬ» ɯ ȼ(ɯ), «ɭɤɪɚʀɧɫɶɤɢɣ ɩɨ-

ɟɬ» ɯɋ(ɯ), «ɭɤɪɚʀɧɫɶɤɢɣɩɨɟɬɏȱɏɫɬ» ɯȾ(ɯ), «ɚɜɬɨɪ«Ʉɨɛɡɚɪɹ» ɚ.

Wx A(x)

Wx ȼ(x)

Wx ɋ(x)

Wx D(x)

a

Ɇɟɠɟɸ ɨɛɦɟɠɟɧɧɹ ɽ ɨɞɢɧɢɱɧɟ ɩɨɧɹɬɬɹ (ɭ ɧɚɲɨɦɭ ɜɢɩɚɞɤɭ ɩɨɧɹɬɬɹ

ɚ— «ɚɜɬɨɪ «Ʉɨɛɡɚɪɹ»).

ɍɡ ɚ ɝ ɚ ɥ ɶ ɧ ɟ ɧ ɹ ɦ ɩɨɧɹɬɬɹ ɧɚɡɢɜɚɽɬɶɫɹ ɥɨɝɿɱɧɚ ɨɩɟɪɚɰɿɹ, ɡɚ ɞɨɩɨɦɨɝɨɸ ɹɤɨʀ ɩɟɪɟɯɨɞɹɬɶ ɜɿɞ ɩɨɧɹɬɬɹ ɡ ɛɿɥɶɲɢɦ ɡɦɿɫɬɨɦ, ɚɥɟ ɦɟɧɲɢɦɨɛɫɹɝɨɦɞɨɩɨɧɹɬɬɹɡɛɿɥɶɲɢɦɨɛɫɹɝɨɦ, ɚɥɟ ɦɟɧɲɢɦɡɦɿɫɬɨɦ.

ɍɧɚɲɨɦɭ ɜɢɩɚɞɤɭ — ɰɟ ɩɟɪɟɯɿɞ ɜɿɞ ɩɨɧɹɬɬɹ ɚ — «ɚɜɬɨɪ «Ʉɨɛɡɚɪɹ» ɞɨ ɩɨɧɹɬɬɹ ɯ Ⱥ(ɯ) — «ɥɸɞɢɧɚ»). Ʉɿɧɰɟɜɢɦ ɩɭɧɤɬɨɦ ɨɩɟɪɚɰɿʀ ɭɡɚɝɚɥɶɧɟɧɧɹ ɩɨɧɹɬɬɹ ɽ ɤɚɬɟɝɨɪɿʀ. Ʉɚɬɟɝɨɪɿʀ — ɰɟ ɧɚɣɛɿɥɶɲ ɡɚɝɚɥɶɧɿ ɩɨɧɹɬɬɹ, ɬɨɛɬɨ ɬɚɤɿ ɩɨɧɹɬɬɹ, ɹɤɿ ɧɟ ɦɚɸɬɶ ɪɨɞɭ, ɚ ɡɧɚɱɢɬɶ, ʀɯ ɧɟɦɨɠɧɚ ɭɡɚɝɚɥɶɧɢɬɢ. ɇɚɩɪɢɤɥɚɞ, ɧɟ ɩɿɞɞɚɸɬɶɫɹ ɭɡɚɝɚɥɶɧɟɧɧɸ ɩɨɧɹɬɬɹ «ɦɚɬɟ-

ɪɿɹ», «ɫɜɿɞɨɦɿɫɬɶ», «ɩɪɢɱɢɧɚ», «ɧɟɨɛɯɿɞɧɿɫɬɶ», «ɫɭɬɧɿɫɬɶ» ɿ ɬ.ɞ. ȼ ɫɭ-

ɱɚɫɧɿɣ ɥɨɝɿɰɿ ɦɟɠɚ ɭɡɚɝɚɥɶɧɟɧɧɹ ɬɪɚɤɬɭɽɬɶɫɹ ɹɤ ɭɧɿɜɟɪɫɚɥɶɧɟ ɩɨɧɹɬɬɹ, ɬɨɛɬɨ ɩɨɧɹɬɬɹ ɭ ɹɤɨɝɨ ɨɛɥɚɫɬɶ ɜɢɡɧɚɱɟɧɧɹ ɩɪɟɞɢɤɚɬɚ, ɳɨ ɜɢɪɚɠɚɽ ɣɨɝɨ (ɩɨɧɹɬɬɹ) ɡɦɿɫɬ ɫɩɿɜɩɚɞɚɽ ɡ ɨɛɥɚɫɬɸ ɿɫɬɢɧɧɨɫɬɿ ɰɶɨɝɨ ɩɪɟɞɢɤɚɬɚ.

Ʌɨɝɿɱɧɚ ɨɩɟɪɚɰɿɹ ɭɡɚɝɚɥɶɧɟɧɧɹ ɬɚ ɨɛɦɟɠɟɧɧɹ ɩɨɧɹɬɶ ɪɟɝɥɚɦɟɧɬɭɽɬɶɫɹ ɞɜɨɦɚ ɩɪɚɜɢɥɚɦɢ:

1) ɉɪɢ ɭɡɚɝɚɥɶɧɟɧɧɿ ɩɨɧɹɬɬɹ ɫɥɿɞ ɩɟɪɟɯɨɞɢɬɢ ɜɿɞ ɜɢɞɭ ɞɨ ɪɨɞɭ.

ɇɚɩɪɢɤɥɚɞ, ɩɨɧɹɬɬɹ «ɲɚɯɪɚɣɫɬɜɨ» ɦɨɠɧɚ ɭɡɚɝɚɥɶɧɢɬɢ ɲɥɹɯɨɦ ɩɟɪɟɯɨɞɭ ɞɨ ɪɨɞɨɜɨɝɨ ɩɨɧɹɬɬɹ «ɡɥɨɱɢɧ ɩɪɨɬɢ ɜɥɚɫɧɨɫɬɿ», ɚɛɨ ɩɨɧɹɬɬɹ «ɫɭɞɞɹ» ɦɨɠɧɚ ɭɡɚɝɚɥɶɧɢɬɢ ɲɥɹɯɨɦ ɩɟɪɟɯɨɞɭ ɞɨ ɪɨɞɨɜɨɝɨ ɩɨɧɹɬɬɹ

ǸȖȏȌȭȓ Vǟǟǟ. ǷȖȕȧȚȚȧ

145

«ɸɪɢɫɬ». ɉɟɪɟɯɿɞ ɠɟ ɜɿɞ ɩɨɧɹɬɬɹ «ɫɭɞɞɹ» ɞɨ ɩɨɧɹɬɬɹ «ɚɞɜɨɤɚɬ» ɛɭɞɟ ɩɨɪɭɲɟɧɧɹɦ ɞɚɧɨɝɨ ɩɪɚɜɢɥɚ. Ɍɭɬ ɧɟ ɦɚɽ ɭɡɚɝɚɥɶɧɟɧɧɹ. ɉɨɧɹɬɬɹ «ɚɞɜɨɤɚɬ» ɧɟ ɽ ɪɨɞɨɦ ɞɥɹ ɩɨɧɹɬɬɹ «ɫɭɞɞɹ». ɐɿ ɩɨɧɹɬɬɹ ɽ ɜɢɞɚɦɢ ɞɥɹ ɪɨɞɨɜɨɝɨ ɩɨɧɹɬɬɹ «ɸɪɢɫɬ».

Ɂɜɟɪɧɟɦɨɫɹ ɞɨ ɞɪɭɝɨɝɨ ɩɪɚɜɢɥɚ:

2) ɉɪɢ ɨɛɦɟɠɟɧɧɿ ɩɨɧɹɬɬɹ ɩɨɬɪɿɛɧɨ ɩɟɪɟɯɨɞɢɬɢ ɜɿɞ ɪɨɞɭ ɞɨ ɜɢɞɭ.

ɇɚɩɪɢɤɥɚɞ, ɩɨɧɹɬɬɹ «ɞɟɪɠɚɜɚ» ɦɨɠɧɚ ɨɛɦɟɠɢɬɢ ɲɥɹɯɨɦ ɩɟɪɟɯɨɞɭ ɞɨ ɩɨɧɹɬɬɹ «ɩɪɚɜɨɜɚ ɞɟɪɠɚɜɚ», ɚɛɨ ɩɨɧɹɬɬɹ «ɫɭɞɞɹ» ɦɨɠɧɚ ɨɛɦɟɠɢɬɢ,

ɩɟɪɟɣɲɨɜɲɢ ɞɨ ɩɨɧɹɬɬɹ «ɫɭɞɞɹ ɚɩɟɥɹɰɿɣɧɨɝɨ ɫɭɞɭ».

ɉɪɢ ɩɨɪɭɲɟɧɧɿ ɰɶɨɝɨ ɩɪɚɜɢɥɚ ɜɢɧɢɤɚɽ ɥɨɝɿɱɧɚ ɩɨɦɢɥɤɚ, ɹɤɚ ɩɨɥɹɝɚɽ ɜ ɡɜɟɞɟɧɧɿ ɜɢɯɿɞɧɨɝɨ ɩɨɧɹɬɬɹ ɞɨ ɩɨɧɹɬɬɹ, ɹɤɟ ɧɟ ɽ ɣɨɝɨ ɜɢɞɨɦ. ɇɚɩɪɢɤɥɚɞ, ɹɤɳɨ ɩɪɢ ɨɛɦɟɠɟɧɧɿ ɩɨɧɹɬɬɹ «ɞɟɪɠɚɜɚ» ɦɢ ɩɟɪɟɣɞɟɦɨ ɞɨ ɩɨɧɹɬɬɹ «ɞɟɪɠɚɜɧɚ ɫɩɿɥɤɚ ɸɪɢɫɬɿɜ», ɬɨ ɬɚɤɟ ɨɛɦɟɠɟɧɧɹ ɛɭɞɟ ɧɟɩɪɚɜɢɥɶɧɢɦ, ɨɫɤɿɥɶɤɢ ɧɚɜɟɞɟɧɟ ɩɨɧɹɬɬɹ ɧɟ ɽ ɜɢɞɨɦ ɞɥɹ ɩɨɧɹɬɬɹ «ɞɟɪɠɚɜɚ».

ȉ) ǶȗȍȘȈȞȭȮ ȕȈȌ ȖȉșȧȋȈȔȐ ȗȖȕȧȚȤ ȧȒ ȔȕȖȎȐȕȈȔȐ.

Ɉɫɤɿɥɶɤɢ ɦɢ ɨɬɨɬɨɠɧɸɽɦɨ ɨɛɫɹɝɢ ɩɨɧɹɬɶ ɡ ɦɧɨɠɢɧɚɦɢ, ɬɨ ɦɚɽɦɨ ɩɪɚɜɨ ɡɚɫɬɨɫɭɜɚɬɢ ɞɨ ɧɢɯ ɭɫɿ ɨɩɟɪɚɰɿʀ, ɳɨ ɣ ɞɨ ɦɧɨɠɢɧ:

ɞɨɩɨɜɧɟɧɧɹ, ɩɟɪɟɬɢɧ, ɨɛ’ɽɞɧɚɧɧɹ, ɪɿɡɧɢɰɸ.

Ⱦ ɨ ɩ ɨ ɜ ɧ ɟ ɧ ɧ ɹ ɦ ɨɛɫɹɝɭ ɩɨɧɹɬɬɹ Wx A(x) ɧɚɡɢɜɚɽɬɶɫɹ ɨɛɫɹɝ ɧɨɜɨɝɨ ɩɨɧɹɬɬɹ WxCA(x), ɹɤɢɣ ɫɤɥɚɞɚɽɬɶɫɹ ɡ ɬɢɯ ɟɥɟɦɟɧɬɿɜ ɭɧɿ-

ɜɟɪɫɭɦɭ, ɹɤɿ ɧɟ ɧɚɥɟɠɚɬɶ Wx A(x). ɉɨɡɧɚɱɚɽɬɶɫɹ ɰɹ ɨɩɟɪɚɰɿɹ ɫɢɦɜɨ-

ɥɨɦ ( – ).

ɐɟ ɜɢɡɧɚɱɟɧɧɹ ɡɚɩɢɫɭɽɬɶɫɹ ɭ ɜɢɝɥɹɞɿ ɪɿɜɧɨɫɬɿ:

ɚ) WxCA(x) =Df Wx (xC Wx A(x)).

Ƚɪɚɮɿɱɧɨ ɨɩɟɪɚɰɿɹ ɞɨɩɨɜɧɟɧɧɹ ɡɨɛɪɚɠɭɽɬɶɫɹ ɬɚɤ:

ȱ.

Wx A (x)

Wx A(x)

əɤɳɨ ɦɢ ɦɚɽɦɨ ɨɛɫɹɝ ɩɨɧɹɬɬɹ «ɤɢɹɧɢɧ» Wx A(x), ɬɨ ɞɨɩɨɜɧɟɧɧɹɦ ɞɨ ɧɶɨɝɨ ɛɭɞɟ ɨɛɫɹɝ ɩɨɧɹɬɬɹ «ɿɧɨɝɨɪɨɞɧɿɣ» WxCA(x). ȱɡ ɫɯɟɦɢ ȱ ɨɱɟɜɢɞɧɨ, ɳɨ ɛɭɞɶ-ɹɤɢɣ ɟɥɟɦɟɧɬ ɭɧɿɜɟɪɫɚɥɶɧɨɝɨ ɩɨɧɹɬɬɹ ɧɚɥɟɠɢɬɶ ɚɛɨ Wx A(x), ɚɛɨ WxCA(x).

ɉ ɟ ɪ ɟ ɬ ɢ ɧ ɨ ɦ ɨɛɫɹɝɿɜ ɩɨɧɹɬɶ Wx A(x) ɿ Wx B(x) ɽ ɨɛɫɹɝ ɧɨɜɨɝɨ ɩɨɧɹɬɬɹ, ɹɤɢɣ ɫɤɥɚɞɚɽɬɶɫɹ ɿɡ ɭɫɿɯ ɬɢɯ ɿ ɬɿɥɶɤɢ ɬɢɯ ɟɥɟɦɟɧɬɿɜ, ɹɤɿ ɨɞɧɨɱɚɫɧɨ ɧɚɥɟɠɚɬɶ ɿ Wx A(x) ɿ Wx B(x):

146	Ǩ. ǝ. DzȖȕȊȍȘșȤȒȐȑ. dzǶǫǟDzǨ

ɯ (Wx A(x) Wx B(x)).

ɉɨɡɧɚɱɚɽɬɶɫɹ ɨɩɟɪɚɰɿɹ ɩɟɪɟɬɢɧɭ ɬɚɤ: Wx A(x) Wx B(x) — ɱɢɬɚ-

ɽɬɶɫɹ: «ɩɟɪɟɬɢɧ Wx A(x) ɿ Wx B(x)».

Ɉɩɟɪɚɰɿɸ ɩɟɪɟɬɢɧɭ ɡɚɩɢɫɭɸɬɶ ɭ ɜɢɝɥɹɞɿ ɪɿɜɧɨɫɬɿ:

ɛ) Wx A(x) Wx B(x) = Df Wx (x Wx A(x) & x Wx B(x)).

Ƚɪɚɮɿɱɧɨ ɨɩɟɪɚɰɿɹ ɩɟɪɟɬɢɧɭ ɡɨɛɪɚɠɭɽɬɶɫɹ ɫɯɟɦɨɸ:

ɉ.

U

Wx A(x)

Wx ȼ(x)

ȼɿɞɨɦɨ, ɳɨ ɯ Wx A(x) = A(x) ɿ ɯ Wx B(x) = ȼ(ɯ). Ʉɨɥɢ ɡɪɨɛɢɬɢ ɩɿɞɫɬɚɧɨɜɤɭ ɭ ɛ), ɬɨ ɨɬɪɢɦɚɽɦɨ:

ɜ) Wx A(x) Wx B(x) = Wx (A(x) & B(x)).

ɉɪɚɜɚ ɱɚɫɬɢɧɚ ɪɿɜɧɨɫɬɿ ɜ) ɜɢɪɚɠɚɽ ɨɛɫɹɝ ɧɨɜɨɝɨ ɩɨɧɹɬɬɹ ɯ (Ⱥ(ɯ) & ȼ(ɯ)), ɹɤɟ ɡɦɿɫɬɨɦ ɦɚɽ ɫɤɥɚɞɧɢɣ ɩɪɟɞɢɤɚɬ: (Ⱥ(ɯ) & B(x)). ȱɡ ɫɯɟɦɢ ɞɚɧɨʀ ɨɩɟɪɚɰɿʀ ɨɱɟɜɢɞɧɨ, ɳɨ ɭ ɪɟɡɭɥɶɬɚɬɿ ɩɟɪɟɬɢɧɭ ɨɛɫɹɝɿɜ ɩɨɧɹɬɶ ɨɬɪɢɦɭɽɦɨ ɧɚɣɛɿɥɶɲɭ ɫɩɿɥɶɧɭ ɱɚɫɬɢɧɭ ɨɛɫɹɝɿɜ, ɳɨ ɩɟɪɟɬɢɧɚɸɬɶɫɹ:

1.Wx A(x) Wx B(x) Wx A(x)

2.Wx A(x) Wx B(x) Wx B(x)

Ɉɫɤɿɥɶɤɢ ɭ ɮɨɪɦɭɥɚɯ 1,2 — ɜɢɪɚɡɢ ɞɨ ɡɧɚɤɭ ɜɤɥɸɱɟɧɧɹ ( ) ɽ ɥɿɜɨɸ ɫɬɨɪɨɧɨɸ ɪɿɜɧɨɫɬɿ ɜ), ɬɨ ɨɬɪɢɦɭɽɦɨ:

3.Wx (A(x) & B(x)) Wx A(x)

4.Wx (A(x) & B(x)) Wx B(x)

ȼɿɞɩɨɜɿɞɧɨ ɞɨ ɡɚɤɨɧɭ ɨɛɟɪɧɟɧɨɝɨ ɜɿɞɧɨɲɟɧɧɹ ɦɿɠ ɡɦɿɫɬɨɦ ɿ ɨɛɫɹɝɨɦ ɩɨɧɹɬɬɹ ɨɬɪɢɦɭɽɦɨ:

5.A(x) & B(x) A(x)

6.A(x) & B(x) B(x)

ȼɢɪɚɡɢ 5,6 ɫɜɿɞɱɚɬɶ ɩɪɨ ɬɟ, ɳɨ ɿɡ ɡɦɿɫɬɭ ɩɨɧɹɬɶ, ɨɛɫɹɝɢ ɹɤɢɯ ɩɟɪɟɬɧɭɥɢɫɹ ɥɨɝɿɱɧɨ ɜɢɩɥɢɜɚɽ ɡɦɿɫɬ ɤɨɠɧɨɝɨ ɿɡ ɩɨɧɹɬɶ, ɳɨ ɧɟ ɩɟɪɟɬɢɧɚɸɬɶɫɹ.

Ɉɩɟɪɚɰɿɸɩɟɪɟɬɢɧɭɦɨɠɧɚ ɡɞɿɣɫɧɸɜɚɬɢɧɚɞɫɭɦɿɫɧɢɦɢɩɨɧɹɬɬɹɦɢ.

Ɇɚɽɦɨ ɬɨɬɨɠɧɿ ɩɨɧɹɬɬɹ: «ɤɜɚɞɪɚɬ» ɯ Ⱥ(ɯ) ɿ «ɪɿɜɧɨɫɬɨɪɨɧɧɿɣ ɩɪɹ-

ɦɨɤɭɬɧɢɤ» ɯ ȼ(ɯ). ɍ ɪɟɡɭɥɶɬɚɬɿ ɩɟɪɟɬɢɧɭ ɨɬɪɢɦɭɽɦɨ: «ɤɜɚɞɪɚɬ» ɚɛɨ «ɪɿɜɧɨɫɬɨɪɨɧɧɿɣ ɩɪɹɦɨɤɭɬɧɢɤ»:

ǸȖȏȌȭȓ Vǟǟǟ. ǷȖȕȧȚȚȧ	147
	Wx (P(x) & Q(x))

ȼɿɡɶɦɟɦɨ ɩɨɧɹɬɬɹ, ɳɨ ɡɧɚɯɨɞɹɬɶɫɹ ɭ ɜɿɞɧɨɲɟɧɧɿ ɱɚɫɬɤɨɜɨɝɨ ɫɩɿɜɩɚɞɚɧɧɹ: «ɩɨɟɬ» ɯ Ɋ(ɯ) ɿ «ɥɚɭɪɟɚɬ» ɯQ(x). Ɂɞɿɣɫɧɸɸɱɢ ɧɚɞ ʀɯ ɨɛɫɹɝɚɦɢ ɨɩɟɪɚɰɿɸ ɩɟɪɟɬɢɧɭ ɨɬɪɢɦɭɽɦɨ: «ɥɸɞɢɧɚ, ɹɤɚ ɽ ɿ ɩɨɟɬɨɦ, ɿ ɥɚɭɪɟɚ-

ɬɨɦ»:

Wx Ɋ(x)	Wx A(x), Wx B(x)

Wx Q(x)

ɉɟɪɟɬɧɟɦɨ ɩɿɞɩɨɪɹɞɤɨɜɚɧɿ ɩɨɧɹɬɬɹ: «ɤɧɢɝɚ» ɯ Ʉ(ɯ) ɿ «ɩɿɞɪɭɱɧɢɤ» ɯ

F(x). Ɉɬɪɢɦɚɽɦɨ: «ɤɧɢɝɚ, ɹɤɚ ɽ ɩɿɞɪɭɱɧɢɤɨɦ».

Wx K(x)

Wx F(x)

Ɋɟɡɭɥɶɬɚɬ ɩɟɪɟɬɢɧɭ ɧɟɫɭɦɿɫɧɢɯ ɩɨɧɹɬɶ ɞɨɪɿɜɧɸɽ ɩɨɪɨɠɧɿɣ ɦɧɨɠɢɧɿ ( ), ɨɫɤɿɥɶɤɢ ʀɯ ɨɛɫɹɝɢ ɧɟ ɦɚɸɬɶ ɫɩɿɥɶɧɢɯ ɟɥɟɦɟɧɬɿɜ.

Ɉ ɛ ’ɽ ɞ ɧ ɚ ɧ ɧ ɹ ɦ ɨɛɫɹɝɿɜ ɩɨɧɹɬɶ Wx A(x) ɿ Wx B(x) ɽ ɨɛɫɹɝ ɧɨɜɨɝɨ ɩɨɧɹɬɬɹ, ɹɤɢɣ ɫɤɥɚɞɚɽɬɶɫɹ ɿɡ ɭɫɿɯ ɬɢɯ ɿ ɬɿɥɶɤɢ ɬɢɯ ɟɥɟɦɟɧɬɿɜ, ɹɤɿ ɧɚɥɟɠɚɬɶ ɯɨɱɚ ɛ ɨɞɧɨɦɭ ɿɡ ɨɛɫɹɝɿɜ Wx A(x) ɚɛɨ Wx B(x):

x (Wx A(x) Wx B(x)).

ɉɨɡɧɚɱɚɽɬɶɫɹ ɨɩɟɪɚɰɿɹ ɨɛ’ɽɞɧɚɧɧɹ ɬɚɤ:

Wx A(x) Wx B(x)

— ɱɢɬɚɽɬɶɫɹ: «ɨɛ’ɽɞɧɚɧɧɹ Wx A(x) Wx B(x)».

148	Ǩ. ǝ. DzȖȕȊȍȘșȤȒȐȑ. dzǶǫǟDzǨ

Ɂɚɩɢɫɭɽɬɶɫɹ ɨɩɟɪɚɰɿɹ ɨɛ’ɽɞɧɚɧɧɹ ɬɚɤ:

ɚ) Wx A(x) Wx B(x) = Wx (x Wx A(x) x Wx B(x)).

Ƚɪɚɮɿɱɧɨ ɨɩɟɪɚɰɿɹ ɨɛ’ɽɞɧɚɧɧɹ ɡɨɛɪɚɠɭɽɬɶɫɹ ɫɯɟɦɨɸ:

ɒ.

Wx A(x)

WxB(x)

Ɇɟɬɨɸ ɨɩɟɪɚɰɿʀ ɨɛ’ɽɞɧɚɧɧɹ ɽ ɜɢɹɜɥɟɧɧɹ ɭɫɿɯ ɟɥɟɦɟɧɬɿɜ ɨɛɫɹɝɿɜ, ɳɨ ɨɛ’ɽɞɧɭɸɬɶɫɹ. ɍ ɩɪɚɜɿɣ ɱɚɫɬɢɧɿ ɪɿɜɧɨɫɬɿ ɚ), ɹɤɚ ɽ ɧɨɜɢɦ ɨɛɫɹɝɨɦ ɡɪɨɛɢɦɨ ɩɿɞɫɬɚɧɨɜɤɭ:

ɛ) Wx A(x) Wx B(x) = Wx (A(x) B(x))

ɉɪɚɜɚ ɱɚɫɬɢɧɚ ɪɿɜɧɨɫɬɿ ɛ) ɰɟ ɧɨɜɢɣ ɨɛɫɹɝ ɧɨɜɨɝɨ ɩɨɧɹɬɬɹ ɯ (Ⱥ(ɯ) ȼ(ɯ)), ɡɦɿɫɬɨɦ ɹɤɨɝɨ ɽ ɫɤɥɚɞɧɢɣ ɩɪɟɞɢɤɚɬ Ⱥ(ɯ) ȼ(ɯ).

Ɉɩɟɪɚɰɿɸ ɨɛ’ɽɞɧɚɧɧɹ ɨɛɫɹɝɿɜ ɦɨɠɧɚ ɡɞɿɣɫɧɸɜɚɬɢ ɧɚɞ ɫɭɦɿɫɧɢɦɢ

ɿɧɟɫɭɦɿɫɧɢɦɢ ɩɨɧɹɬɬɹɦɢ.

1.ɑɚɫɬɤɨɜɟ ɫɩɿɜɩɚɞɚɧɧɹ: ɧɚɩɪɢɤɥɚɞ, «ɸɪɢɫɬ» ɯ Ⱥ(ɯ) ɿ «ɞɟɩɭɬɚɬ»

ɯȼ(ɯ). Ɋɟɡɭɥɶɬɚɬɨɦ ɨɛ’ɽɞɧɚɧɧɹ ɽ ɧɨɜɟ ɩɨɧɹɬɬɹ «ɚɛɨ ɸɪɢɫɬ, ɚɛɨ ɞɟɩɭ-

ɬɚɬ»:

Wx A(x)

Wx B(x)

2. ȼɿɞɧɨɲɟɧɧɹ ɬɨɬɨɠɧɨɫɬɿ: ɧɚɩɪɢɤɥɚɞ, «ɤɜɚɞɪɚɬ» ɯ Ⱥ(ɯ) ɿ «ɩɪɹ-

ɦɨɤɭɬɧɢɣ ɪɨɦɛ» ɯ ȼ(ɯ). Ɉɛ’ɽɞɧɚɧɧɹ ɬɨɬɨɠɧɢɯ ɩɨɧɹɬɶ ɞɚɫɬɶ ɧɨɜɟ ɩɨɧɹɬɬɹ, ɹɤɟ ɡɚ ɡɦɿɫɬɨɦ ɫɩɿɜɩɚɞɚɬɢɦɟ ɡ ɨɞɧɢɦ ɿɡ ɩɨɧɹɬɶ, ɳɨ ɨɛ’ɽɞɧɭɸɬɶɫɹ:

Wx A(x), Wx B(x)

ǸȖȏȌȭȓ Vǟǟǟ. ǷȖȕȧȚȚȧ

149

3. ȼɿɞɧɨɲɟɧɧɹ ɩɿɞɩɨɪɹɞɤɭɜɚɧɧɹ: ɧɚɩɪɢɤɥɚɞ, «ɤɨɫɦɿɱɧɢɣ ɨɛ’ɽɤɬ» ɯ

Ⱥ(ɯ) ɿ «ɩɥɚɧɟɬɚ» ɯ ȼ(ɯ). ɉɪɢ ɨɛ’ɽɞɧɚɧɧɿ ɰɢɯ ɩɨɧɹɬɶ ɨɬɪɢɦɭɽɦɨ ɧɨɜɟ ɩɨɧɹɬɬɹ «ɤɨɫɦɿɱɧɢɣ ɨɛ’ɽɤɬ» («ɤɨɫɦɿɱɧɢɣ ɨɛ’ɽɤɬ» ɚɛɨ «ɩɥɚɧɟɬɚ»):

Wx A(x)

Wx B(x)

4. ȼɿɞɧɨɲɟɧɧɹ ɩɪɨɬɢɪɿɱɱɹ: ɇɚɩɪɢɤɥɚɞ, «ɬɪɢɤɭɬɧɢɤ» ɯ Ⱥ(ɯ), ɿ «ɧɟ ɬɪɢɤɭɬɧɢɤ» ɯCȺ(ɯ). ɍ ɪɟɡɭɥɶɬɚɬɿ ɨɛ’ɽɞɧɚɧɧɹ ɰɢɯ ɩɨɧɹɬɶ ɨɬɪɢɦɭɽɦɨ ɧɨɜɟ ɩɨɧɹɬɬɹ «ɝɟɨɦɟɬɪɢɱɧɚ ɮɿɝɭɪɚ»:

Wx A(x)	Wx A (x)

5. ȼɿɞɧɨɲɟɧɧɹ ɩɪɨɬɢɥɟɠɧɨɫɬɿ: ɧɚɩɪɢɤɥɚɞ, «ɞɢɬɢɧɚ» ɯ Ⱥ(ɯ) ɿ

«ɥɸɞɢɧɚ ɩɨɯɢɥɨɝɨ ɜɿɤɭ» ɯ ȼ(ɯ). Ɋɟɡɭɥɶɬɚɬɨɦ ɨɛ’ɽɞɧɚɧɧɹ ɰɢɯ ɩɨɧɹɬɶ ɛɭ-

ɞɟ ɧɨɜɟ ɩɨɧɹɬɬɹ «ɨɫɧɨɜɧɿ ɩɚɪɚɦɟɬɪɢ ɥɸɞɫɶɤɨɝɨ ɜɿɤɭ»:

Wx A(x)		Wx ȼ(x)

6. ȼɿɞɧɨɲɟɧɧɹ ɫɭɩɿɞɪɹɞɧɨɫɬɿ: ɧɚɩɪɢɤɥɚɞ, «ɤɪɚɞɿɠɤɚ» ɯ Ⱥ(ɯ) ɿ

«ɝɪɚɛɿɠ» ɯ ȼ(ɯ). Ɉɛ’ɽɞɧɭɸɱɢ ɰɿ ɩɨɧɹɬɬɹ ɨɬɪɢɦɭɽɦɨ ɧɨɜɟ ɩɨɧɹɬɬɹ «ɜɢ-

ɞɢ ɡɥɨɱɢɧɿɜ»:

Wx A(x)

Wx B (x)

150	Ǩ. ǝ. DzȖȕȊȍȘșȤȒȐȑ. dzǶǫǟDzǨ

Ɉɬɠɟ, ɨɩɟɪɚɰɿʀ ɧɚɞ ɨɛɫɹɝɚɦɢ ɩɨɧɹɬɶ (ɨɛ’ɽɞɧɚɧɧɹ ɿ ɩɟɪɟɬɢɧ) ɧɟ ɬɪɟɛɚ ɨɬɨɬɨɠɧɸɜɚɬɢ ɡ ɥɨɝɿɱɧɢɦɢ ɜɿɞɧɨɲɟɧɧɹɦɢ ɦɿɠ ɩɨɧɹɬɬɹɦɢ. Ɉɞɧɭ ɿ

ɬɭ ɫɚɦɭ ɨɩɟɪɚɰɿɸ ɦɨɠɧɚ ɡɞɿɣɫɧɸɜɚɬɢ ɧɚɞ ɩɨɧɹɬɬɹɦɢ, ɳɨ ɡɧɚɯɨɞɹɬɶɫɹ ɭ ɪɿɡɧɢɯ ɜɿɞɧɨɲɟɧɧɹɯ. Ʌɨɝɿɱɧɿ ɜɿɞɧɨɲɟɧɧɹ ɦɿɠ ɩɨɧɹɬɬɹɦɢ ɜɢɫɬɭɩɚɸɬɶ ɫɜɨɽɪɿɞɧɢɦ ɟɦɩɿɪɢɱɧɢɦ ɜɢɯɿɞɧɢɦ ɦɚɬɟɪɿɚɥɨɦ ɞɥɹ ɨɩɟɪɚɰɿɣ ɨɛ’ɽɞɧɚɧɧɹ ɿ ɩɟɪɟɬɢɧɭ.

ɋɬɨɫɨɜɧɨ ɨɩɟɪɚɰɿʀ ɨɛ’ɽɞɧɚɧɧɹ ɬɪɟɛɚ ɦɚɬɢ ɧɚ ɭɜɚɡɿ, ɳɨ ʀʀ ɪɟɡɭɥɶɬɚɬɨɦ ɽ ɡɧɚɯɨɞɠɟɧɧɹ ɧɚɣɦɟɧɲɨɝɨ ɨɛɫɹɝɭ (Wx A(x) Wx B(x)), ɱɚɫɬɢɧɚɦɢ ɹɤɨɝɨ ɽ ɨɛɫɹɝɢ Wx A(x) ɿ Wx B(x).

Ɂ ɬɨɱɤɢ ɡɨɪɭ ɡɚɤɨɧɭ ɨɛɟɪɧɟɧɨɝɨ ɜɿɞɧɨɲɟɧɧɹ ɡɦɿɫɬ ɩɨɧɹɬɶ, ɳɨ ɨɛ’ɽɞɧɭɸɬɶɫɹ, ɛɿɥɶɲ ɿɧɮɨɪɦɚɬɢɜɧɢɣ ɧɿɠ ɡɦɿɫɬ ɩɨɧɹɬɬɹ, ɳɨ ɽ ɪɟɡɭɥɶɬɚɬɨɦ ɨɛ’ɽɞɧɚɧɧɹ. ɋɜɿɞɱɟɧɧɹɦ ɰɶɨɝɨ ɽ ɬɚɤɿ ɮɨɪɦɭɥɢ:

Wx A(x) Wx A(x) Wx B(x)		A(x) (A(x) B(x)
Wx B(x) Wx A(x) Wx B(x)		B(x) (A(x) B(x)

Ɋɿɡɧɢɰɟɸ ɨɛɫɹɝɿɜ Wx A(x) ɿ Wx B(x) ɧɚɡɢɜɚɽɬɶɫɹ ɨɛɫɹɝ ɧɨɜɨɝɨ ɩɨɧɹɬɬɹ, ɹɤɢɣ ɫɤɥɚɞɚɽɬɶɫɹ ɿɡ ɭɫɿɯ ɬɢɯ ɿ ɬɿɥɶɤɢ ɬɢɯ ɟɥɟɦɟɧɬɿɜ ɨɛɫɹɝɭ Wx A(x), ɹɤɿ ɧɟ ɧɚɥɟɠɚɬɶ ɨɛɫɹɝɭ Wx B(x).

ɉɨɡɧɚɱɚɽɬɶɫɹ ɨɩɟɪɚɰɿɹ ɪɿɡɧɢɰɿ ɨɛɫɹɝɿɜ ɬɚɤ:

«Wx A(x) WxCB(x)» ɚɛɨ «Wx A(x) \ Wx B(x)», ɚɛɨ

«Wx A(x) Wx B(x)».

Ɂɚɩɢɫɭɽɬɶɫɹ ɨɩɟɪɚɰɿɹ ɪɿɡɧɢɰɿ ɨɛɫɹɝɿɜ ɬɚɤ:

Wx A(x) WxCB(x) = Df Wx (ɯ Wx A(x) & xC Wx B(x)).

Ƚɪɚɮɿɱɧɨ ɡɨɛɪɚɠɭɽɬɶɫɹ ɭ ɜɢɝɥɹɞɿ ɬɚɤɨʀ ɫɯɟɦɢ:

U
Wx A(x)	Wx B(x)

əɤɳɨ ɜɿɡɶɦɟɦɨ ɩɨɧɹɬɬɹ «ɫɬɭɞɟɧɬ» ɯ S(x), «ɜɿɞɦɿɧɧɢɤ» ɯ V(x), ɿ ɡɞɿɣɫɧɢɦɨ ɪɿɡɧɢɰɸ ʀɯ ɨɛɫɹɝɿɜ, ɬɨ ɦɚɬɢɦɟɦɨ:

Wx S(x) WxCV(x) = Wx (x Wx S(x) & xC Wx V(x)),

ɬɨɛɬɨ ɦɢ ɨɬɪɢɦɚɥɢ ɨɛɫɹɝ ɧɨɜɨɝɨ ɩɨɧɹɬɬɹ — ɯ (S(x) &CV(x)) — «ɫɬɭ-

ɞɟɧɬ, ɹɤɢɣ ɧɟ ɽ ɜɿɞɦɿɧɧɢɤɨɦ».