Professional Documents
Culture Documents
978-620-0-27507-3 (1) Əmirova
978-620-0-27507-3 (1) Əmirova
978-620-0-27507-3 (1) Əmirova
!"#$!%&!'()
!"#$
% " ! & ' &
(
)*! & " " *)+,-!
.
. /,)0 % " ! &
' & (
ɈȽɅȺȼɅȿɇɂȿ
ȼɟɞɟɧɢɟ .................................................................................................................... 3
Ƚɥɚɜɚ I. Ⱥɥɝɟɛɪɚ ɜɵɫɤɚɡɵɜɚɧɢɣ .............................................................................. 5
§1.1. Ɉɛɴɟɤɬɵ, ɤɥɚɫɫ ɨɛɴɟɤɬɨɜ ɢ ɢɯ ɫɜɨɣɫɬɜɚ ......................................................... 5
§1.2. ɂɫɬɢɧɧɵɟ ɢ ɥɨɠɧɵɟ ɜɵɫɤɚɡɵɜɚɧɢɹ ............................................................... 7
§1.3. Ɉɩɟɪɚɰɢɹ ɨɬɪɢɰɚɧɢɹ ...................................................................................... 7
§1.4. Ɉɩɟɪɚɰɢɹ ɞɢɡɴɸɧɤɰɢɹ ɞɥɹ ɞɜɭɯ ɜɵɫɤɚɡɵɜɚɧɢɣ ........................................... 8
§1.5. Ɉɩɟɪɚɰɢɹ ɤɨɧɴɸɧɤɰɢɹ ɞɥɹ ɞɜɭɯ ɜɵɫɤɚɡɵɜɚɧɢɣ .......................................... 11
§1.6. Ɉɩɟɪɚɰɢɹ ɢɦɩɥɢɤɚɰɢɹ ɞɥɹ ɞɜɭɯ ɜɵɫɤɚɡɵɜɚɧɢɣ........................................... 13
§1.7. Ɉɩɟɪɚɰɢɹ ɷɤɜɢɜɚɥɟɧɬɧɨɫɬɢ ɞɥɹ ɞɜɭɯ ɜɵɫɤɚɡɵɜɚɧɢɣ ................................. 16
§1.8. ɉɪɢɦɟɪɵ ɩɨ ɢɫɱɢɫɥɟɧɢɸ ɜɵɫɤɚɡɵɜɚɧɢɣ ..................................................... 20
§1.9. Ɏɨɪɦɭɥɵ ɜ ɥɨɝɢɤɟ ɜɵɫɤɚɡɵɜɚɧɢɣ ................................................................ 21
§1.10. Ɋɚɜɧɨɫɢɥɶɧɵɟ ɮɨɪɦɭɥɵ .............................................................................. 23
§1.11. Ɍɨɠɞɟɫɬɜɟɧɧɨ ɢɫɬɢɧɧɵɟ ɢ ɬɨɠɞɟɫɬɜɟɧɧɨ ɥɨɠɧɵɟ ɮɨɪɦɭɥɵ .................... 26
§1.12. ɉɊȺȼɂɅɖɇɕȿ ɊȺɋɋɍɀȾȿɇɂə ......................................................................... 30
§1.13.ɉɪɢɦɟɪɵ ɧɚ ɢɫɱɢɫɥɟɧɢɟ ɜɵɫɤɚɡɵɜɚɧɢɣ ...................................................... 31
Ƚɥɚɜɚ II. ɅɈȽɂɑȿɋɄȺə ȺɅȽȿȻɊȺ...................................................................... 35
§2.1. Ɉɫɧɨɜɧɵɟ ɩɨɧɹɬɢɹ ......................................................................................... 35
§2.2. Ɉɩɪɟɞɟɥɟɧɢɟ ɡɧɚɱɟɧɢɹ ɛɭɥɟɜɵɯ ɮɭɧɤɰɢɣ .................................................... 3
§2.3. ɗɥɟɦɟɧɬɚɪɧɵɟ ɛɭɥɟɜɵɟ ɮɭɧɤɰɢɢ ................................................................. 40
§2.4. Ɏɢɤɬɢɜɧɵɟ ɢ ɨɫɧɨɜɧɵɟ ɩɟɪɟɦɟɧɧɵɟ ɛɭɥɟɜɨɣ ɮɭɧɤɰɢɢ .............................. 43
§2.5. Ɋɟɚɥɢɡɚɰɢɹ ɛɭɥɟɜɨɣ ɮɭɧɤɰɢɢ ɮɨɪɦɭɥɚɦɢ ................................................... 45
§2.6. Ⱦɜɨɣɫɬɜɟɧɧɵɟ ɛɭɥɟɜɵɟ ɮɭɧɤɰɢɢ.................................................................. 46
§2.7. Ɋɚɡɥɨɠɟɧɢɟ ɛɭɥɟɜɵɯ ɮɭɧɤɰɢɣ ɩɨ ɩɟɪɟɦɟɧɧɵɦ .......................................... 47
§2.8. ɉɪɢɜɟɞɟɧɢɟ ɛɭɥɟɜɵɯ ɮɭɧɤɰɢɣ ɫ ɩɨɦɨɳɶɸ ɪɚɜɧɨɫɢɥɶɧɵɯ
ɩɪɟɨɛɪɚɡɨɜɚɧɢɣ ɤ ɧɨɪɦɚɥɶɧɨɣ ɮɨɪɦɟ ........................................................ 51
§2.9. ɉɪɢɦɟɪɵ ɧɚ ɮɭɧɤɰɢɸ ɥɨɝɢɱɟɫɤɨɣ ɚɥɝɟɛɪɵ ................................................. 53
§2.10. Ⱥɥɝɟɛɪɚ ɀɟɝɚɥɤɢɧɚ. Ɋɚɡɥɨɠɟɧɢɟ ɛɭɥɟɜɨɣ ɮɭɧɤɰɢɢ
ɜ ɦɧɨɝɨɱɥɟɧ ɀɟɝɚɥɤɢɧɚ .............................................................................. 60
§2.11. ɉɪɢɦɟɪɵ ɧɚ ɦɧɨɝɨɱɥɟɧ ɀɟɝɚɥɤɢɧɚ ............................................................ 63
§2.12. Ɇɢɧɢɦɢɡɚɰɢɹ ɛɭɥɟɜɵɯ ɮɭɧɤɰɢɣ ................................................................ 64
§2.13. Ƚɟɨɦɟɬɪɢɱɟɫɤɚɹ ɩɨɫɬɚɧɨɜɤɚ ɡɚɞɚɱɢ ɦɢɧɢɦɢɡɚɰɢɢ
ɛɭɥɟɜɨɣ ɮɭɧɤɰɢɢ ......................................................................................... 73
§2.14. ɉɪɢɦɟɪɵ ɧɚ ɦɢɧɢɦɢɡɚɰɢɸ ɛɭɥɟɜɨɣ ɮɭɧɤɰɢɢ ........................................... 78
§2.15. Ɂɚɦɤɧɭɬɚɹ ɫɢɫɬɟɦɚ ɛɭɥɟɜɵɯ ɮɭɧɤɰɢɣ ........................................................ 82
§2.16. ɉɨɥɧɵɟ ɮɭɧɤɰɢɨɧɚɥɶɧɵɟ ɫɢɫɬɟɦɵ ɛɭɥɟɜɵɯ ɮɭɧɤɰɢɣ .............................. 87
1
§2.17. ɋɢɫɬɟɦɚ ɛɚɡɢɫɧɵɯ ɮɭɧɤɰɢɣ ɜ ɥɨɝɢɱɟɫɤɨɣ ɚɥɝɟɛɪɟ.................................... 90
§2.18. ɉɪɢɦɟɪɵ ɧɚ ɡɚɦɤɧɭɬɭɸ ɢ ɩɨɥɧɭɸ ɮɭɧɤɰɢɨɧɚɥɶɧɭɸ
ɫɢɫɬɟɦɭ ɛɭɥɟɜɨɣ ɮɭɧɤɰɢɢ ........................................................................... 91
§2.19. ɉɪɨɢɡɜɨɞɧɚɹ ɛɭɥɟɜɨɣ ɮɭɧɤɰɢɢ .................................................................. 99
§2.20. Ɋɚɡɥɨɠɟɧɢɟ ɛɭɥɟɜɨɣ ɮɭɧɤɰɢɢ ɜ ɪɹɞ ......................................................... 103
§2.21. ɉɪɢɦɟɪɵ ɧɚ ɜɵɱɢɫɥɟɧɢɟ ɩɪɨɢɡɜɨɞɧɨɣ ɛɭɥɟɜɨɣ ɮɭɧɤɰɢɢ ...................... 105
§2.22. ɏɚɪɚɤɬɟɪɢɫɬɢɤɚ ɷɥɟɦɟɧɬɚɪɧɵɯ ɛɭɥɟɜɵɯ ɮɭɧɤɰɢɣ ɩɨ ɬɚɛɥɢɰɟ ............... 106
§2.23. Ɉ ɩɪɢɦɟɧɟɧɢɢ ɮɭɧɤɰɢɣ ɥɨɝɢɱɟɫɤɨɣ ɚɥɝɟɛɪɵ...........................108
Ƚɥɚɜɚ III. k-ɁɇȺɑɇȺə ɅɈȽɂɄȺ ..............................................................................
§3.1. ɗɥɟɦɟɧɬɚɪɧɚɹ ɮɭɧɤɰɢɹ k-ɡɧɚɱɧɨɣ ɥɨɝɢɤɢ ................................................. 113
§3.2.Ɂɚɦɤɧɭɬɚɹ ɢ ɩɨɥɧɚɹ ɫɢɫɬɟɦɚ k-ɡɧɚɱɧɵɯ ɮɭɧɤɰɢɣ ...................................... 119
ɂɋɉɈɅɖɁɈȼȺɇɇȺə ɅɂɌȿɊȺɌɍɊȺ ....................................................................... 125
2
ȼȼȿȾȿɇɂȿ
4
Ƚɥɚɜɚ I
ȺɅȽȿȻɊȺ ȼɕɋɄȺɁɕȼȺɇɂɃ
5
ɨɬɪɟɡɤɚ. Ⱦɥɹ ɨɩɪɟɞɟɥɟɧɢɹ ɫɜɨɣɫɬɜ ɬɚɤɢɯ ɢɞɟɚɥɢɡɢɪɨɜɚɧɧɵɯ ɨɛɴɟɤɬɨɜ ɧɭɠɧɨ
ɨɩɢɪɚɬɶɫɹ ɧɟ ɧɚ ɩɪɚɤɬɢɤɭ, ɚ ɧɚ ɥɨɝɢɱɟɫɤɢɟ ɪɚɫɫɭɠɞɟɧɢɹ.
Ʉɚɠɞɨɟ ɩɨɧɹɬɢɟ ɨɩɪɟɞɟɥɹɟɬɫɹ ɟɝɨ ɨɛɴɟɦɨɦ, ɬɨ ɟɫɬɶ ɦɧɨɠɟɫɬɜɨɦ ɪɟɚɥɶɧɵɯ
ɢ ɢɞɟɚɥɢɡɢɪɨɜɚɧɧɵɯ ɨɛɴɟɤɬɨɜ, ɨɯɜɚɬɵɜɚɸɳɢɯɫɹ ɷɬɢɦ ɩɨɧɹɬɢɟɦ. ȿɫɥɢ ɨɛɴɟɦ
ɨɞɧɨɝɨ ɩɨɧɹɬɢɹ ɹɜɥɹɟɬɫɹ ɱɚɫɬɶɸ ɞɪɭɝɨɝɨ ɩɨɧɹɬɢɹ, ɬɨɝɞɚ ɜɬɨɪɨɟ ɩɨɧɹɬɢɟ
ɧɚɡɵɜɚɟɬɫɹ ɨɛɨɛɳɟɧɢɟɦ ɩɟɪɜɨɝɨ, ɚ ɩɟɪɜɨɟ – ɱɚɫɬɶɸ ɜɬɨɪɨɝɨ. ɇɚɩɪɢɦɟɪ,
ɩɨɧɹɬɢɟ «ɩɚɪɚɥɥɟɥɨɝɪɚɦɦ» ɹɜɥɹɟɬɫɹ ɱɚɫɬɧɵɦ ɫɥɭɱɚɟɦ (ɱɚɫɬɶɸ) ɩɨɧɹɬɢɹ
«ɱɟɬɵɪɟɯɭɝɨɥɶɧɢɤ».
Ⱦɥɹ ɢɡɭɱɟɧɢɹ ɥɸɛɨɝɨ ɩɨɧɹɬɢɹ ɫɧɚɱɚɥɚ ɟɝɨ ɧɭɠɧɨ ɨɩɪɟɞɟɥɢɬɶ. Ⱥ ɞɥɹ ɷɬɨɝɨ
ɨɛɵɱɧɨ ɞɚɟɬɫɹ ɨɛɳɟɟ ɩɨɧɹɬɢɟ, ɚ ɡɚɬɟɦ ɪɚɫɫɦɚɬɪɢɜɚɟɬɫɹ ɱɚɫɬɧɵɣ ɫɥɭɱɚɣ.
Ⱦɜɚ ɪɚɡɥɢɱɧɵɯ ɨɩɪɟɞɟɥɟɧɢɹ ɦɨɝɭɬ ɞɚɬɶ ɩɨɧɹɬɢɟ ɨɞɢɧɚɤɨɜɨɝɨ ɨɛɴɟɦɚ.
ɇɚɩɪɢɦɟɪ, ɩɨɧɹɬɢɟ «ɪɚɜɧɨɫɬɨɪɨɧɧɢɣ ɬɪɟɭɝɨɥɶɧɢɤ» ɢ ɩɨɧɹɬɢɟ «ɬɪɟɭɝɨɥɶɧɢɤ ɫ
ɪɚɜɧɵɦɢ ɭɝɥɚɦɢ» ɨɩɪɟɞɟɥɹɸɬɫɹ ɩɨ ɪɚɡɧɨɦɭ. ȼ ɩɟɪɜɨɦ ɨɩɪɟɞɟɥɟɧɢɢ ɢɦɟɟɬɫɹ
ɜɢɞɭ ɪɚɜɟɧɫɬɜɨ ɫɬɨɪɨɧ, ɜɨ ɜɬɨɪɨɦ ɨɩɪɟɞɟɥɟɧɢɢ ɝɨɜɨɪɢɬɫɹ ɨ ɪɚɜɟɧɫɬɜɟ ɭɝɥɨɜ. ɇɨ
ɥɟɝɤɨ ɞɨɤɚɡɵɜɚɟɬɫɹ, ɱɬɨ ɥɸɛɨɣ ɪɚɜɧɨɫɬɨɪɨɧɧɢɣ ɬɪɟɭɝɨɥɶɧɢɤ ɢɦɟɟɬ ɪɚɜɧɵɟ
ɭɝɥɵ, ɥɸɛɨɣ ɬɪɟɭɝɨɥɶɧɢɤ ɫ ɪɚɜɧɵɦɢ ɭɝɥɚɦɢ ɛɭɞɟɬ ɪɚɜɧɨɫɬɨɪɨɧɧɢɦ. ɉɨɷɬɨɦɭ,
ɧɟɫɦɨɬɪɹ ɧɚ ɬɨ, ɱɬɨ ɩɨɧɹɬɢɟ «ɪɚɜɧɨɫɬɨɪɨɧɧɢɣ ɬɪɟɭɝɨɥɶɧɢɤ» ɢ ɩɨɧɹɬɢɟ
«ɬɪɟɭɝɨɥɶɧɢɤ ɫ ɪɚɜɧɵɦɢ ɭɝɥɚɦɢ» ɨɩɪɟɞɟɥɹɸɬɫɹ ɩɨ-ɪɚɡɧɨɦɭ, ɢɯ ɨɛɴɟɦ
ɨɞɢɧɚɤɨɜɵɣ.
Ɍɟɩɟɪɶ ɪɚɫɫɦɨɬɪɢɦ ɪɚɡɥɢɱɧɵɟ ɫɜɹɡɢ ɦɟɠɞɭ ɩɨɧɹɬɢɟɦ ɨɛɴɟɤɬɨɜ ɢ
ɫɜɨɣɫɬɜɚɦɢ. ȿɫɥɢ ɤɚɠɞɵɣ ɢɡ ɨɛɴɟɤɬɨɜ, ɜɯɨɞɹɳɢɯ ɜ ɨɛɴɟɦ ɩɨɧɹɬɢɹ a
ɭɞɨɜɥɟɬɜɨɪɹɟɬ ɫɜɨɣɫɬɜɭ α, ɬɨ α ɹɜɥɹɟɬɫɹ ɟɫɬɟɫɬɜɟɧɧɵɦ ɫɜɨɣɫɬɜɨɦ ɷɬɨɝɨ
ɩɨɧɹɬɢɹ ɢ ɧɚɡɵɜɚɟɬɫɹ ɧɟɨɛɯɨɞɢɦɵɦ ɭɫɥɨɜɢɟɦ. ɋɪɟɞɢ ɟɫɬɟɫɬɜɟɧɧɵɯ ɫɜɨɣɫɬɜ
ɡɚɞɚɧɧɨɝɨ ɨɛɴɟɤɬɚ ɜɵɞɟɥɹɟɬɫɹ ɟɝɨ ɯɚɪɚɤɬɟɪɧɨɟ ɫɜɨɣɫɬɜɚ (ɢɦɟɸɳɟɟ ɦɟɫɬɨ ɞɥɹ
ɨɛɴɟɤɬɨɜ ɫɨɨɬɜɟɬɫɬɜɭɸɳɟɝɨ ɤɥɚɫɫɚ, ɢ ɧɟ ɢɦɟɸɳɟɟɫɹ ɜ ɞɪɭɝɢɯ ɨɛɴɟɤɬɚɯ).
ȿɫɥɢ ɫɜɨɣɫɬɜɨ α ɤɚɫɚɟɬɫɹ ɥɸɛɨɝɨ ɨɛɴɟɤɬɚ ɡɚɞɚɧɧɨɝɨ ɤɥɚɫɫɚ (ɧɟ
ɨɛɴɹɡɚɬɟɥɶɧɨ ɞɥɹ ɜɫɟɯ) ɢ ɧɟ ɤɚɫɚɟɬɫɹ ɧɢ ɨɞɧɨɝɨ ɨɛɴɟɤɬɚ ɧɟ ɩɪɢɧɚɞɥɟɠɚɲɟɝɨ
ɷɬɨɦɭ ɤɥɚɫɫɭ, ɬɨ ɷɬɨ ɫɜɨɣɫɬɜɚ ɧɚɡɵɜɚɟɬɫɹ ɞɨɫɬɚɬɨɱɧɵɦ ɭɫɥɨɜɢɟɦ
ɫɨɨɬɜɟɬɫɬɜɭɸɳɟɝɨ ɩɨɧɹɬɢɹ. ɇɚɩɪɢɦɟɪ, ɪɚɜɟɧɫɬɜɨ ɞɥɢɧ ɫɬɨɪɨɧ ɹɜɥɹɟɬɫɹ
ɞɨɫɬɚɬɨɱɧɵɦ ɭɫɥɞɨɜɢɟɦ ɞɥɹ ɬɨɝɨ, ɱɬɨɛɵ ɟɬɵɪɟɯɭɝɨɥɶɧɢɤ ɛɵɥ
ɩɚɪɚɥɥɟɥɨɝɪɚɦɦɨɦ, ɧɨ ɧɟ ɹɜɥɹɟɬɫɹ ɧɟɨɛɯɨɞɢɦɵɦ ɭɫɥɨɜɢɟɦ, ɬɚɤ ɤɚɤ ɟɫɥɢ
ɪɚɜɟɧɫɬɜɨ ɞɥɢɧ ɫɬɨɪɨɧ ɱɟɬɵɪɟɯɭɝɨɥɶɧɢɤɚ ɨɩɪɟɞɟɥɟɧɨ, ɬɨ ɨɧ ɩɚɪɚɥɥɟɥɨɝɪɚɦɦ,
ɧɨ ɩɪɨɬɢɜɨɩɨɥɨɠɧɨɟ ɭɬɜɟɪɠɞɟɧɢɟ ɧɟɜɟɪɧɨ – ɫɬɨɪɨɧɵ ɩɚɪɚɥɥɟɥɨɝɪɚɦɦɚ ɦɚɝɭɬ
ɛɵɬɶ ɪɚɡɥɢɱɧɨɣ ɞɥɢɧɵ.
6
§1.2. ɂɫɬɢɧɧɵɟ ɢ ɥɨɠɧɵɟ ɜɵɫɤɚɡɵɜɚɧɢɹ
A A A
0 1 0
1 0 1
ɇɚɩɪɢɦɟɪ, ɟɫɥɢ A:= “4 ɧɟɱɟɬɧɨɟ ɱɢɫɥɨ”, ɬɨɝɞɚ A=Ʌɨɠɶ (0), A =ɂɫɬɢɧɚ (1).
ȼɨɨɛɳɟ, ɥɸɛɨɟ ɜɵɫɤɚɡɵɜɚɧɢɟ A ɪɚɜɧɨɫɢɥɶɧɨ ɜɵɫɤɚɡɵɜɚɧɢɸ A , ɬɨ ɟɫɬɶ
A = A . ȿɫɥɢ ɢɫɬɢɧɧɵɟ ɡɧɚɱɟɧɢɹ ɜɵɫɤɚɡɵɜɚɧɢɹ A ɨɛɨɡɧɚɱɢɬɶ |A|, ɬɨɝɞɚ
| A | = 1− | A | .
Ɂɚɞɚɧɢɟ ɜɵɫɤɚɡɵɜɚɧɢɹ A ɢ ɟɝɨ ɨɬɪɢɰɚɧɢɹ a), b) ɢ ɪɟɚɥɢɡɚɰɢɹ c)
ɨɩɪɟɞɟɥɹɟɬɫɹ ɫɥɟɞɭɸɳɟɣ ɫɯɟɦɨɣ.
ĂͿ ďͿ ĐͿ
8
A B A∨B B∨A
0 0 0 0
0 1 1 1
1 0 1 1
1 1 1 1
ɉɪɢɦɟɪ 1.
A: = “ȼ ɤɨɦɩɶɸɬɟɪɟ ɛɵɜɚɟɬ ɦɚɬɪɢɱɧɵɣ ɩɪɢɧɬɟɪ”,
B: = “ȼ ɤɨɦɩɶɸɬɟɪɟ ɛɵɜɚɟɬ ɫɬɪɭɣɧɵɣ ɩɪɢɧɬɟɪ”,
C: = “ȼ ɤɨɦɩɶɸɬɟɪɟ ɛɵɜɚɟɬ ɥɚɡɟɪɧɵɣ ɩɪɢɧɬɟɪ”,
D: = “ȼ ɤɨɦɩɶɸɬɟɪɟ ɛɵɜɚɟɬ ɥɢɬɟɪɧɵɣ ɩɪɢɧɬɟɪ”.
Ⱦɥɹ ɷɬɢɯ ɜɵɫɤɚɡɵɜɚɧɢɣ ɜɵɪɚɠɟɧɢɟ F=(A∨B∨C∨D) ɨɩɪɟɞɟɥɹɟɬ
ɜɵɫɤɚɡɵɜɚɧɢɟ
F: = “ȼ ɤɨɦɩɶɸɬɟɪɟ ɛɵɜɚɟɬ ɦɚɬɪɢɱɧɵɣ, ɢɥɢ ɫɬɪɭɣɧɵɣ,
ɢɥɢ ɥɚɡɟɪɧɵɣ, ɢɥɢ ɥɢɬɟɪɧɵɣ ɩɪɢɧɬɟɪ”.
A∨B:= “ɑɬɨɛɵ ɩɨɥɭɱɢɬɶ ɩɟɪɜɭɸ ɫɬɟɩɟɧɶ ɧɭɠɧɨ ɧɚɛɪɚɬɶ 11,5 ɨɱɤɨɜ ɢɥɢ
ɡɚɧɹɬɶ ɩɟɪɜɨɟ ɦɟɫɬɨ”.
10
A 1 0 AޕA=A Aޕ0=A Aޕ1=1
0 1 0 0 0 1
1 1 0 1 1 1
a) b) c)
A B A∧B B∧A
0 0 0 0
0 1 0 0
1 0 0 0
1 1 1 1
12
§1.6. Ɉɩɟɪɚɰɢɹ ɢɦɩɥɢɤɚɰɢɹ ɞɥɹ ɞɜɭɯ ɜɵɫɤɚɡɵɜɚɧɢɣ
|0→1|= 1− |0| + |0| |1| =1, |1՜ Ͳ|= 1- |1| + |1| |1| =0,
|0→0|= 1− |0| + |0| |0| =1, |1՜ 1|= 1- |1| + |1| |1| =1,
Ɉɩɟɪɚɰɢɹ ɢɦɩɥɢɤɚɰɢɹ ɞɜɭɯ ɜɵɫɤɚɡɵɜɚɧɢɣ ɦɨɠɭɬ ɛɵɬɶ ɜɵɪɚɠɟɧɚ ɫ
ɩɨɦɨɳɶɸ ɨɩɟɪɚɰɢɣ ɨɬɪɢɰɚɧɢɟ ɢ ɞɢɡɴɸɧɤɰɢɹ ɷɬɢɯ ɜɵɫɤɚɡɵɜɚɧɢɣ. ɂɬɚɤ, ɞɥɹ
13
ɥɸɛɵɯ ɜɵɫɤɚɡɵɜɚɧɢɣ A ɢ B ɜɟɪɧɨ ɫɨɨɬɧɨɲɟɧɢɟ A→B= A ∨B:
A B A A→B A ∨B
0 0 1 1 1
0 1 1 1 1
1 0 0 0 0
1 1 0 1 1
14
A B A→B A B B→A
0 0 1 1 1 1
0 1 1 1 0 1
1 0 0 0 1 0
1 1 1 0 0 1
A B A A ∨B A∧B ( A ∨B)→A∧B
0 0 1 1 0 0
0 1 1 1 0 0
1 0 0 0 0 1
1 1 0 1 1 1
A B A⇔B B⇔A
0 0 1 1
0 1 0 0
1 0 0 0
1 1 1 1
ͳǡˈ˔ˎˋȁȁ ൌ ȁȁǡ
|A~B|= 1− |A| − |B| =൜
Ͳǡˈ˔ˎˋȁȁ ് ȁȁǤ
ͳǡ ˈ˔ˎˋȁȁ ൌ ȁȁǡ
|0∼1|= 1− ||0| − |1|| =൜
Ͳǡ ˈ˔ˎˋȁͲȁ ് ȁͳȁǤ
16
ɡɚɩɢɫɵɜɚɟɬɫɹ ɜ ɜɢɞɟ ǡ ˈ˔ˎˋ ൌ ሺoሻሺo).
Ʌɨɝɢɱɟɫɤɚɹ ɮɨɪɦɭɥɚ A⇔B ɫɨɨɬɜɟɬɫɬɜɭɟɬ ɜɵɫɤɚɡɵɜɚɧɢɸ «Ⱦɥɹ
ɜɵɫɤɚɡɵɜɚɧɢɹ Ⱥ ɜɵɫɤɚɡɵɜɚɧɢɟ ȼ ɧɟɨɛɯɨɞɢɦɨɟ ɢ ɞɨɫɬɚɬɨɱɧɨɟ ɢɥɢ ɜɵɫɤɚɡɵɜɚɧɢɟ
Ⱥ ɢɦɟɟɬ ɦɟɫɬɨ ɬɨɝɞɚ ɢ ɬɨɥɶɤɨ ɬɨɝɞɚ, ɤɨɝɞɚ ɢɦɟɟɬ ɦɟɫɬɨ ɜɵɫɤɚɡɵɜɚɧɢɟ ȼ».
ɉɪɢɦɟɪ 1. Ⱦɥɹ ɜɵɫɤɚɡɵɜɚɧɢɣ A:=“ɑɢɫɥɨ ɱɟɬɧɨɟ”, B:="ɑɢɫɥɚ, ɞɟɥɹɳɢɟɫɹ
ɧɚ 2” ɜɵɪɚɠɟɧɢɟ F=(A⇔B) ɨɩɪɟɞɟɥɹɟɬ ɫɥɟɞɭɸɳɟɟ ɜɵɫɤɚɡɵɜɚɧɢɟ F:=“Ⱦɥɹ ɬɨɝɨ,
ɱɬɨɛɵ ɱɢɫɥɨ ɛɵɥɨ ɱɟɬɧɵɦ, ɧɟɨɛɯɨɞɢɦɨ ɢ ɞɨɫɬɚɬɨɱɧɨ, ɱɬɨɛɵ ɨɧɨ ɞɟɥɢɥɨɫɶ ɧɚ 2”.
ɋ ɩɨɦɨɳɶɸ ɜɜɟɞɟɧɧɵɯ ɩɹɬɢ ɥɨɝɢɱɟɫɤɢɯ ɨɩɟɪɚɰɢɣ – ɨɬɪɢɰɚɧɢɟ,
ɞɢɡɴɸɧɤɰɢɹ, ɤɨɧɴɸɧɤɰɢɹ, ɢɦɩɥɢɤɚɰɢɹ, ɷɤɜɢɜɚɥɟɧɰɢɹ ɦɨɠɧɨ ɢɡ ɡɚɞɚɧɧɵɯ
ɜɵɫɤɚɡɵɜɚɧɢɣ ɩɨɫɬɪɨɢɬɶ ɧɨɜɨɟ ɫɥɨɠɧɨɟ ɜɵɫɤɚɡɵɜɚɧɢɟ.
ɉɪɢɦɟɪ 2. ɉɨɫɬɪɨɢɦ ɬɚɛɥɢɰɭ ɢɫɬɢɧɧɨɫɬɢ ɞɥɹ ɫɥɨɠɧɨɝɨ ɜɵɫɤɚɡɵɜɚɧɢɹ
F=((A∨B)רC)→(B∼ C ):
A B C A∨B (A∨B)רC C B∼ C F
0 0 0 0 0 1 0 1
0 0 1 0 0 0 1 1
0 1 0 1 0 1 1 1
0 1 1 1 1 0 0 0
1 0 0 1 0 1 0 1
1 0 1 1 1 0 1 1
1 1 0 1 0 1 1 1
1 1 1 1 1 0 0 0
ɇɚɡɜɚɧɢɟ ɫɨɨɬ-
Ɂɧɚɤɢ
ɋɜɹɡɤɢ ɜɟɬɫɬɜɭɸɳɟɣ
ɨɩɟɪɚɰɢɣ
ɨɩɟɪɚɰɢɢ
ɧɟɬ, ɧɟ ɜɟɪɧɨ, ɧɢ ɨɞɢɧ º, (−) Ɉɬɪɢɰɚɧɢɟ
ɢ, ɚ, ɨɞɧɚɤɨ, ɧɨ ޔ Ʉɨɧɴɸɧɤɰɢɹ
ɢɥɢ ޕ Ⱦɢɡɴɸɧɤɰɢɹ
ɟɫɥɢ ... , ɬɨ → ɂɦɩɥɢɤɚɰɢɹ
ɷɤɜɢɜɚɥɟɧɬɧɨɫɬɶ, ɪɚɜɧɨɫɢɥɶ-
ɧɨɫɬɶ, ɧɟɨɛɯɨɞɢɦɨɟ ɢ ɞɨɫɬɚ- ∼, ≈, ⇔ ɗɤɜɢɜɚɥɟɧɬɧɨɫɬɶ
ɬɨɱɧɨ, ɬɨɝɞɚ ɢ ɬɨɥɶɤɨ ɬɨɝɞɚ
17
Ɂɚɦɟɱɚɧɢɟ 1: Ⱦɥɹ ɬɨɝɨ, ɱɬɨɛɵ ɧɚɣɬɢ ɧɚɛɨɪɵ ɡɧɚɱɟɧɢɣ ɢɫɬɢɧɧɨɫɬɢ
(ଵ ǡ ଶ ǡ ǥ ǡ ୬ ሻǡ ɤɨɬɨɪɵɟ ɦɨɝɭɬ ɩɪɢɧɢɦɚɬɶ ɡɚɞɚɧɧɵɟ ɜɵɫɤɚɡɵɜɚɧɢɹ ͳ ǡ ʹ ǡ ǥ ǡ
ɧɭɠɧɨ ɧɚɩɢɫɚɬɶ ɪɚɡɥɨɠɟɧɢɟ ɰɢɮɪ ɞɟɫɹɬɢɱɧɨɝɨ ɱɢɫɥɚ N=0, 1, 2, …, 2n–1 ɜ
ɞɜɨɢɱɧɨɣ ɫɢɫɬɟɦɟ ൌ ͳ ή ʹെͳ ʹ ή ʹെʹ Ǥ Ǥ Ǥ ή ʹͲ Ǥ Ʉɨɷɮɮɢɰɢɟɧɬɵ
(ଵ ǡ ଶ ǡ ǥ ǡ ୬ ሻ ɜ ɷɬɨɦ ɪɚɡɥɨɠɟɧɢɢ ɹɜɥɹɸɬɫɹ ɫɨɨɬɜɟɬɫɬɜɭɸɳɟɣ ɡɚɩɢɫɶɸ ɱɢɫɟɥ
N=0, 1, 2, …, 2n–1 ɜ ɞɜɨɢɱɧɨɣ ɫɢɫɬɟɦɟ. Ɍɚɤɢɯ ɧɚɛɨɪɨɜ ɜ ɤɨɥɢɱɟɫɬɜɟ ʹ୬ (ɡɞɟɫɶ n –
ɱɢɫɥɨ ɜɵɫɤɚɡɵɜɚɧɢɣ). ɇɚɩɪɢɦɟɪ ɟɫɥɢ n = 2, ɬɨ ɞɥɹ ൌ Ͳǡ ͳǡ ʹǡ ͵ ɩɨɥɭɱɢɦ
ൌ ͳ ή ʹͳ ʹ ή ʹͲ :
0=0ή ʹଵ Ͳ ή ʹ ՜ ሺͲǡͲሻǡ ͳ ൌ Ͳ ή ʹଵ ͳ ή ʹ ՜(0,1),
2=1ή ʹଵ Ͳ ή ʹ ՜ ሺͳǡͲሻǡ ͵ ൌ ͳ ή ʹଵ ͳ ή ʹ ՜(1,1).
ȿɫɥɢ n=3, ɬɨ 0→(0,0,0), 1→(0,0,1), 2→(0,1,0), 3→(0,1,1), 4→(1,0,0),
5→(1,0,1), 6→(1,1,0), 7→(1,1,1).
Ⱦɥɹ ɬɨɝɨ, ɱɬɨɛɵ ɧɚɩɢɫɚɬɶ ɡɚɞɚɧɧɨɟ ɜ ɞɟɫɹɬɢɱɧɨɣ ɫɢɫɬɟɦɟ ɱɢɫɥɨ N ɜ
n
ɞɜɨɢɱɧɨɣ ɫɢɫɬɟɦɟ, ɜ ɜɵɪɚɠɟɧɢɢ N = ¦ d i 2 n −i ɧɚɣɞɟɦ ɤɨɷɮɮɢɰɢɟɧɬɵ (ଵ ǡ ଶ ǡ ǥ ǡ ୬ )
i=1
ɩɨ ɫɥɟɞɭɸɳɟɦɭ ɚɥɝɨɪɢɬɦɭ:
1) ɑɢɫɥɨ N ɩɨɞɟɥɢɦ ɧɚ 2, ɨɫɬɚɬɨɤ ୬ ǡ ˚˃˔˕ːˑˈଵǢ
2) ɑɢɫɥɨ ଵ ˒ˑˇˈˎˋˏː˃ʹǡ ˑ˔˕˃˕ˑˍ୬ିଵǡ ˚˃˔˕ːˑˈଶǢ
3) ɉɨ ɷɬɨɦɭ ɩɪɚɜɢɥɭ ɩɨɫɥɟ (n-1) ɲɚɝɚ ୬ିଵ ൌ ଵ.
Ⱦɥɹ ɬɨɝɨ, ɱɬɨɛɵ ɧɚɣɬɢ ɱɢɫɥɨ n (ɜ ɞɜɨɢɱɧɨɣ ɫɢɫɬɟɦɟ ɞɥɢɧɭ ɜɟɤɬɨɪɚ)
ɢɫɩɨɥɶɡɭɟɬɫɹ ɞɜɨɣɧɨɟ ɧɟɪɚɜɟɧɫɬɜɨ
ʹ୬ିଵ ʹ୬ Ǥ
ɇɚɩɢɲɟɦ ɱɢɫɥɨ N=325 ɜ ɞɜɨɢɱɧɨɣ ɫɢɫɬɟɦɟ ɜ ɜɢɞɟ ɜɟɤɬɨɪɚ:
1) 325 : 2=ଵ ൌ ͳʹǡ ୬ ൌ ͳǢ ʹሻͳʹ ʹ ൌ ଶ ൌ ͺͳǡ ୬ିଵ =0;
3) 81 : 2= ଷ ൌ ͶͲǡ ୬ିଶୀ ͳǢ ͶሻͶͲ ʹ ൌ ସ ൌ ʹͲǡ ୬ିଷ=0;
5) 20 : 2= ହ ൌ ͳͲǡ ୬ିସ ൌ ͲǢ ሻͳͲ ʹ ൌ ൌ ͷǡ ୬ିହ=0;
7) 5 : 2= ൌ ʹǡ ୬ି ൌ ͳǢ ͺሻʹ ʹ ൌ ଼ ൌ ͳǡ ୬ି=0;
9) ୬ି଼ ൌ ଵ ൌ ͳǡʹ଼ ൏ ͵ʹͷ ൏ ʹଽ
ɂɡ ɷɬɨɝɨ ɜɵɪɚɠɟɧɢɹ ɩɨɥɭɱɚɟɦ n=9, ɜ ɧɨɜɨɣ ɞɜɨɢɱɧɨɣ ɫɢɫɬɟɦɟ ɞɥɢɧɚ
ɜɟɤɬɨɪɚ ɪɚɜɧɚ 9 ɢ N=(101000101).
n
ɂɡ ɜɵɪɚɠɟɧɢɹ N = ¦ d i 2n −i ɞɥɹ ɧɚɯɨɠɞɟɧɢɹ ɤɨɨɪɞɢɧɚɬɵ di ɢɫɩɨɥɶɡɭɸɬ
i=1
୰యି୰ర ସ
ଷ െ ସ ൌ Ͷǡ ൌ ସ ൌ ͳǡ ଷ =1.
ଶష
A B C 1) 2) 3) 4) 5) 6) 7)
0 0 0 1 1 0 1 1 1 1
0 0 1 1 1 0 1 1 1 1
0 1 0 1 1 0 1 0 0 0
0 1 1 1 1 0 1 0 0 0
1 0 0 1 0 1 0 1 1 1
1 0 1 1 0 0 1 1 1 1
1 1 0 0 0 1 1 0 1 1
1 1 1 0 0 0 0 0 1 1
19
§1.8. ɉɪɢɦɟɪɵ ɩɨ ɢɫɱɢɫɥɟɧɢɸ ɜɵɫɤɚɡɵɜɚɧɢɣ
F= (A→(B∨C))∧(B→D)∧((D∧A)→ C ).
A B C D 1) 2) 3) 4) 5) 6) 7) 8)
0 0 0 0 0 1 1 1 1 0 1 1
0 0 0 1 0 1 1 1 1 0 1 1
0 0 1 0 1 1 1 1 0 0 1 1
0 0 1 1 1 1 1 1 0 0 1 1
0 1 0 0 1 1 0 0 1 0 1 0
0 1 0 1 1 1 1 1 1 0 1 1
0 1 1 0 1 1 0 0 0 0 1 0
0 1 1 1 1 1 1 1 0 0 1 1
1 0 0 0 0 0 1 0 1 0 1 0
1 0 0 1 0 0 1 0 1 1 1 0
1 0 1 0 1 1 1 1 0 0 1 1
1 0 1 1 1 1 1 1 0 1 0 0
1 1 0 0 1 1 0 0 1 0 1 0
1 1 0 1 1 1 1 1 1 1 1 1
1 1 1 0 1 1 0 0 0 0 1 0
1 1 1 1 1 1 1 1 0 1 0 0
ɂɡ ɬɚɛɥɢɰɵ ɜɢɞɧɨ, ɱɬɨ ɡɧɚɱɟɧɢɟ ɢɫɬɢɧɧɨɫɬɢ ɜɵɫɤɚɡɵɜɚɧɢɹ ɛɭɞɟɬ ɜ
ɜɢɞɟ ɜɟɤɬɨɪɚ (1111010100100100).
ɉɪɢɦɟɪ 2. ȿɫɥɢ A:=“ȿɫɥɢ ɰɟɧɵ ɪɚɫɬɭɬ”, ɬɨ B:=“Ɂɚɪɩɥɚɬɚ ɨɛɹɡɚɬɟɥɶɧɨ
20
ɞɨɥɠɧɚ ɛɵɬɶ ɜɵɫɨɤɨɣ”. ɐɟɧɵ ɪɚɫɬɭɬ ɢɥɢ C:=“Ɋɨɫɬ ɰɟɧ ɫɬɚɛɢɥɢɡɢɪɭɟɬɫɹ”. ȿɫɥɢ
ɪɨɫɬ ɰɟɧ ɫɬɚɛɢɥɢɡɢɪɭɟɬɫɹ, ɬɨɝɞɚ ɢɧɮɥɹɰɢɢ ɧɟ ɛɭɞɟɬ, ɧɨ D:=“ɂɧɮɥɹɰɢɹ ɟɫɬɶ”. ȼ
ɪɟɡɭɥɶɬɚɬɟ ɡɚɪɩɥɚɬɚ ɨɛɹɡɚɬɟɥɶɧɨ ɞɨɥɠɧɚ ɛɵɬɶ ɜɵɫɨɤɨɣ.
F=((A՜ ሻሺሻሺ ՜ ഥ ሻሻ ՜
ɉɨɫɬɪɨɢɦ ɬɚɛɥɢɰɭ ɡɧɚɱɟɧɢɣ ɢɫɬɢɧɧɨɫɬɢ ɜɵɫɤɚɡɵɜɚɧɢɣ.
1) A→B; 2) A∨C; ഥ Ǣ Ͷሻ ՜
3) ഥ ;
5) ሺ ՜ ሻሺሻǢ ሻሺoሻሺሻሺ ՜ ഥ ሻ;
7) ሺ ՜ ሻሺሻሺ ՜ ഥ ሻ; 8) F.
A B C D 1) 2) 3) 4) 5) 6) 7) 8)
0 0 0 0 1 0 1 1 0 0 0 1
0 0 0 1 1 0 0 1 0 0 0 1
0 0 1 0 1 1 1 1 1 1 0 1
0 0 1 1 1 1 0 0 1 0 0 1
0 1 0 0 1 0 1 1 0 0 0 1
0 1 0 1 1 0 0 1 0 0 0 1
0 1 1 0 1 1 1 1 1 1 0 1
0 1 1 1 1 1 0 0 1 0 0 1
1 0 0 0 0 1 1 1 0 0 0 1
1 0 0 1 0 1 0 1 0 0 0 1
1 0 1 0 0 1 1 1 0 0 0 1
1 0 1 1 0 1 0 0 0 0 0 1
1 1 0 0 1 1 1 1 1 1 0 1
1 1 0 1 1 1 0 1 1 1 1 1
1 1 1 0 1 1 1 1 1 1 0 1
1 1 1 1 1 1 0 0 1 0 0 1
ɂɡ ɬɚɛɥɢɰɵ ɜɢɞɧɨ, ɱɬɨ ɜɟɤɬɨɪɧɨɟ ɜɵɪɚɠɟɧɢɟ ɜɵɫɤɚɡɵɜɚɧɢɣ ɛɭɞɟɬ ɜ
ɜɢɞɟ
F=(1111111111111111).
21
ȼ ɥɨɝɢɱɟɫɤɨɦ ɛɭɤɜɚɪɟ ɫɥɨɜɨ ɧɚɡɵɜɚɟɬɫɹ ɮɨɪɦɭɥɨɣ. Ⱦɚɞɢɦ ɢɧɞɭɤɬɢɜɧɨɟ
ɨɩɪɟɞɟɥɟɧɢɟ ɮɨɪɦɭɥɵ.
Ɉɩɪɟɞɟɥɟɧɢɟ. 1) ɂɧɞɭɤɬɢɜɧɵɣ ɛɚɡɢɫ. Ʉɚɠɞɵɣ ɚɬɨɦ ɟɫɬɶ ɮɨɪɦɭɥɚ;
2) ɂɧɞɭɤɬɢɜɧɵɣ ɩɟɪɟɯɨɞ. ȿɫɥɢ A ɢ B ɮɨɪɦɭɥɵ, ɬɨɝɞɚ ɜɵɪɚɠɟɧɢɹ (AޔB),
(AޕB), (A→B), (A∼B), (ºA) ɬɚɤɠɟ ɮɨɪɦɭɥɵ.
Ʌɨɝɢɱɟɫɤɨɟ ɜɵɪɚɠɟɧɢɟ, ɨɛɪɚɡɨɜɚɧɧɨɟ ɫ ɩɨɦɨɳɶɸ ɜɯɨɞɹɳɢɯ ɜ ɮɨɪɦɭɥɭ
ɚɬɨɦɨɜ, ɥɨɝɢɱɟɫɤɢɯ ɨɩɟɪɚɰɢɣ, ɫɤɨɛɨɤ ɧɚɡɵɜɚɟɬɫɹ ɩɨɞɮɨɪɦɭɥɚ. ɇɨ ɧɟ ɤɚɠɞɚɹ
ɥɨɝɢɱɟɫɤɚɹ ɩɨɫɥɟɞɨɜɚɬɟɥɶɧɨɫɬɶ ɟɫɬɶ ɮɨɪɦɭɥɚ. ɇɚɩɪɢɦɟɪ, ɜɵɪɚɠɟɧɢɟ ഥ՜
ത ഥ
̱ ՜ ɧɟ ɮɨɪɦɭɥɚ. ȼ ɮɨɪɦɭɥɟ ɞɨɥɠɧɚ ɛɵɬɶ ɥɨɝɢɱɟɫɤɚɹ ɩɨɥɧɨɬɚ.
Ɍɚɛɥɢɰɚ ɢɫɬɢɧɧɨɫɬɢ ɤɚɠɞɨɣ ɫɥɨɠɧɨɣ ɮɨɪɦɭɥɵ ɫɨɫɬɚɜɥɹɟɬɫɹ ɜ ɫɨɨɬɜɟɬɫɬɜɢɢ ɫ
ɫɨɫɬɚɜɥɹɸɳɢɦɢ ɟɟ ɩɨɞɮɨɪɦɭɥɚɦɢ.
ɉɪɢɦɟɪ. Ɏɨɪɦɭɥɚ (A→B)→ሺതሺ ഥሻሻ ɫɨɫɬɨɢɬ ɢɡ ɮɨɪɦɭɥ
1) A→B; 2) തǢ ͵ሻ
ഥ;
ഥ ത ഥ
4)ሺሻǢ ͷሻሺሺሻ).
Ɋɚɫɫɦɨɬɪɢɦ ɫɢɧɬɚɤɫɢɫ, ɫɟɦɚɧɬɢɤɭ ɢ ɩɪɨɝɦɚɬɢɤɭ ɥɨɝɢɱɟɫɤɨɝɨ ɹɡɵɤɚ
ɚɥɝɟɛɪɵ ɜɵɫɤɚɡɵɜɚɧɢɣ.
Ɉɩɪɟɞɟɥɟɧɢɟ. ȼ ɥɨɝɢɱɟɫɤɨɣ ɚɥɝɟɛɪɟ ɦɧɨɠɟɫɬɜɨ ɩɪɚɜɢɥ, ɨɩɪɟɞɟɥɹɸɳɢɯ
ɤɨɧɫɬɪɭɤɰɢɸ (ɮɨɪɦɭɥɭ) ɹɡɵɤɚ ɧɚɡɵɜɚɟɬɫɹ ɫɢɧɬɚɤɫɢɫ.
ɋɢɧɬɚɤɫɢɫ ɢɡɭɱɚɟɬ ɩɪɚɜɢɥɶɧɨɟ ɧɚɩɢɫɚɧɢɟ ɮɨɪɦɭɥ ɜ ɫɨɨɬɜɟɬɫɬɜɢɟ ɫ
ɨɩɪɟɞɟɥɟɧɢɟɦ ɮɨɪɦɭɥ ɥɨɝɢɱɟɫɤɨɣ ɚɥɝɟɛɪɵ. ɇɟ ɤɚɠɞɚɹ ɥɨɝɢɱɟɫɤɚɹ
ɩɨɫɥɟɞɨɜɚɬɟɥɶɧɨɫɬɶ ɟɫɬɶ ɮɨɪɦɭɥɚ. ȼ ɮɨɪɦɭɥɟ ɞɨɥɠɧɚ ɛɵɬɶ ɥɨɝɢɱɟɫɤɚɹ ɩɨɥɧɨɬɚ.
Ɉɩɪɟɞɟɥɟɧɢɟ. Ɇɧɨɠɟɫɬɜɨ ɩɪɚɜɢɥ, ɨɩɪɟɞɟɥɹɸɳɢɯ ɥɨɝɢɱɟɫɤɭɸ ɫɜɹɡɶ ɦɟɠɞɭ
ɷɥɟɦɟɧɬɚɦɢ ɜɵɫɤɚɡɵɜɚɧɢɣ ɢ ɡɧɚɱɟɧɢɹɦɢ, ɧɚɡɵɜɚɟɬɫɹ ɫɟɦɚɧɬɢɤɨɣ ɹɡɵɤɚ.
ɋɟɦɚɧɬɢɤɚ ɢɡɭɱɚɟɬ ɜ ɥɨɝɢɤɟ ɜɵɫɤɚɡɵɜɚɧɢɣ ɫɦɵɫɥ ɮɨɪɦɭɥɵ (ɹɡɵɤɨɜɨɟ
ɫɥɨɜɨ).
Ɉɩɪɟɞɟɥɟɧɢɟ. ɉɪɚɜɢɥɨ, ɤɨɬɨɪɨɟ ɢɡɭɱɚɟɬ ɫɨɨɬɧɨɲɟɧɢɟ ɦɟɠɞɭ ɥɨɝɢɱɟɫɤɢɦ
ɹɡɵɤɨɦ ɢ ɢɫɩɨɥɶɡɭɸɳɢɦ ɟɝɨ ɱɟɥɨɜɟɤɨɦ, ɧɚɡɵɜɚɟɬɫɹ ɩɪɨɝɦɚɬɢɤɚ.
ɉɪɨɝɦɚɬɢɤɚ ɢɡɭɱɚɟɬ ɰɟɥɶ ɚɥɝɟɛɪɵ ɜɵɫɤɚɡɵɜɚɧɢɣ. ɉɪɨɝɦɚɬɢɱɟɫɤɚɹ ɡɚɞɚɱɚ
ɩɪɨɜɨɞɢɬɫɹ ɜ ɪɚɦɤɚɯ ɤɢɛɟɪɢɫɬɢɱɟɫɤɢɯ ɢ ɢɧɬɟɥɥɟɤɬɭɚɥɶɧɵɯ ɫɢɫɬɟɦ, ɬɨ ɟɫɬɶ
ɩɨɞɱɢɧɹɟɬɫɹ ɜɫɟɦ ɩɪɚɜɢɥɚɦ ɚɥɝɟɛɪɵ ɜɵɫɤɚɡɵɜɚɧɢɣ.
22
§1.10. Ɋɚɜɧɨɫɢɥɶɧɵɟ ɮɨɪɦɭɥɵ
1. Ʉɨɦɦɭɬɚɬɢɜɧɨɫɬɶ ɞɢɡɴɸɧɤɰɢɢ:
A∨B=B∨A;
2. Ʉɨɦɦɭɬɚɬɢɜɧɨɫɬɶ ɤɨɧɴɸɧɤɰɢɢ:
A∧B=B∧A;
3. Ⱥɫɫɨɰɢɚɬɢɜɧɨɫɬɶ ɞɢɡɴɸɧɤɰɢɢ:
A∨(B∨C)=(A∨B)∨C;
4. Ⱥɫɫɨɰɢɚɬɢɜɧɨɫɬɶ ɤɨɧɴɸɧɤɰɢɢ:
A∧(B∧C)=(A∧B)∧C;
5. ɉɟɪɜɵɣ ɞɢɫɬɪɢɛɭɬɢɜɧɵɣ ɡɚɤɨɧ:
A∧(B∨C)=(A∧B)∨(A∧C);
6. ȼɬɨɪɨɣ ɞɢɫɬɪɢɛɭɬɢɜɧɵɣ ɡɚɤɨɧ:
A∨(B∧C)=(A∨B)∧(A∨C);
7. Ɂɚɤɨɧ Ⱦɟ Ɇɨɪɝɚɧɚ:
തതതതതത
ൌ ഥ തതതതതത ൌ
ഥǡ ഥ
ഥ;
8. Ɂɚɤɨɧ ɞɜɨɣɧɨɝɨ ɨɬɪɢɰɚɧɢɹ :
A =A;
9. Ɂɚɤɨɧ ɢɞɟɦɩɨɬɟɧɰɢɢ:
A∨A=A, Aޔ
10. A∨ A =1, A∧ A =0, A∨1= A∧1 =A,
A∨0=A, A∧0=0;
23
11. AB= A ∨B;
തതതതതതതሻǡ ൌ ሺºº
13.AޕB=(º തതതതതതതത) ;
തതതതതത
F=Aޔሺ ሻ(ޕAޔC)(ޕAޔBޔC)=A(ޔAޕB)(ޕAޔC)∨(AޔBޔC),
F=A((ޔAޕB)ޕAޔCޕBޔC)=
=A((ޔAޕB)ޕC(ޔAޕB))=(AޕB) (ޔA ޕC)=A (ޕB ޔC),
F=A(ޕBޔC).
Ɂɞɟɫɶ A=ɢɫɬɢɧɚ=1, (BޔC)=ɥɨɠɶ=0, ɬɨɝɞɚ F=1.
(ɬɨ ɟɫɬɶ ɢɡ ɬɪɟɯ ɱɟɥɨɜɟɤ ɨɞɢɧ ɩɨɫɬɭɩɢɥ, ɬɨ ɟɫɬɶ 1=1ޕ0).
ɉɪɢɦɟɪ 6.
A∼B≡(A→B)∧(B→A)≡( A ∨B)∧( B ∨A)≡(A∧B)∨( A ∧ B ).
25
§1.11. Ɍɨɠɞɟɫɬɜɟɧɧɨ ɢɫɬɢɧɧɵɟ ɢ ɬɨɠɞɟɫɬɜɟɧɧɨ ɥɨɠɧɵɟ
ɮɨɪɦɭɥɵ
തതതതതതǢ
1) A ޕ2ሻ 3) A ; 4) B ; 5) A ޔB .
A B 1) 2) 3) 4) 5) F
0 0 0 1 1 1 1 1
0 1 1 0 1 0 0 1
1 0 1 0 0 1 0 1
1 1 1 0 0 0 0 1
26
A B A՜B B A B → A (A→B) ⇔( B → A )
0 0 1 1 1 1 1
0 1 1 0 1 1 1
1 0 0 1 0 0 1
1 1 1 0 0 1 1
27
ɉɪɢɦɟɪ 6. Ⱦɨɤɚɠɟɦ, ɱɬɨ F=(A→B)((ޔA→ B )∧A) .
ɉɨɫɬɪɨɢɦ ɬɚɛɥɢɰɭ ɢɫɬɢɧɧɨɫɬɢ ɞɥɹ ɫɥɟɞɭɸɳɢɯ ɩɨɞɮɨɪɦɭɥ:
A→B; 2) B ; 3) A→ B ; 4) (A→ B )∧A.
A B 1) 2) 3) 4) F
0 0 1 1 1 0 0
0 1 1 0 1 0 0
1 0 0 1 1 1 0
1 1 1 0 0 0 0
(A→B)∧(A∧B)=(0001).
ȼɵɫɤɚɡɵɜɚɧɢɟ 3. Ⱦɥɹ ɬɨɝɨ, ɱɬɨɛɵ ɮɨɪɦɭɥɚ A ɛɵɥɚ ɞɨɫɬɨɜɟɪɧɨɣ
ɧɟɨɛɯɨɞɢɦɨ ɢ ɞɨɫɬɚɬɨɱɧɨ, ɱɬɨɛɵ ɟɟ ɨɬɪɢɰɚɧɢɟ ɛɵɥɨ ɬɨɠɞɟɫɬɜɟɧɧɨ ɥɨɠɧɵɦ:
28
ȼɵɫɤɚɡɵɜɚɧɢɟ 4. Ⱦɥɹ ɬɨɝɨ, ɱɬɨɛɵ ɮɨɪɦɭɥɚ A ɛɵɥɚ ɬɨɠɞɟɫɬɜɟɧɧɨ
ɥɨɠɧɨɣ ɧɟɨɛɯɨɞɢɦɨ ɢ ɞɨɫɬɚɬɨɱɧɨ, ɱɬɨɛɵ ɟɟ ɨɬɪɢɰɚɧɢɟ ɛɵɥɨ ɬɨɠɞɟɫɬɜɟɧɧɨ
ɢɫɬɢɧɧɵɦ.
∼C;
1)(CޔA)∼ 2) (CޔB)∼B; 3)(CޕA)∼A;
4)(CޕB)∼C;
5)((CޔD)→C)∼A; 6)(C→(C∨D))∼A;
7)(C⊕A)∼۱ത; 8)(C⊕B)∼C.
ʸ
ɂɡ ɤɚɠɞɨɣ ɮɨɪɦɭɥɵ ɜ ɤɥɚɫɫ ɂ (ɢɫɬɢɧɚ) (ɜ ɜɟɪɲɢɧɭ – ɜ ɤɥɚɫɫ ɬɨɠɞɟɫɬɜɟɧɧɨ
ɢɫɬɢɧɧɵɯ ɮɨɪɦɭɥ) ɟɫɬɶ ɩɭɬɶ, ɬɨ ɟɫɬɶ ɤɥɚɫɫ ɥɨɝɢɱɟɫɤɢɯ ɡɚɤɨɧɨɜ, ɞɟɣɫɬɜɢɬɟɥɶɧɵɟ
ɡɧɚɱɟɧɢɹ ɤɨɬɨɪɵɯ ɂ (ɢɫɬɢɧɚ), ɟɫɬɶ ɨɩɪɟɞɟɥɟɧɧɵɦ ɨɛɪɚɡɨɦ ɭɩɨɪɹɞɨɱɟɧɧɵɣ
ɤɥɚɫɫ, ɩɪɨɫɬɨ ɧɟ ɢɦɟɸɳɢɣ ɦɚɤɫɢɦɚɥɶɧɨɝɨ (ɧɚ ɨɬɪɟɡɤɟ ɫɚɦɨɝɨ ɛɨɥɶɲɨɝɨ)
ɷɥɟɦɟɧɬɚ.
ȼ ɫɚɦɨɣ ɧɢɠɧɢɣ ɬɨɱɤɟ ɝɪɚɮɚ, ɨɩɪɟɞɟɥɹɸɳɟɝɨ ɥɨɝɢɱɟɫɤɢɟ ɫɥɟɞɫɬɜɢɹ
ɪɚɫɩɨɥɨɠɟɧ ɫɢɦɜɨɥ Ʌ (ɥɨɠɶ), ɜɵɪɚɠɚɸɳɢɣ ɤɥɚɫɫ, ɫɨɫɬɚɸɳɢɣ ɢɡ ɜɫɟɯ
ɥɨɝɢɱɟɫɤɢɯ ɡɚɤɨɧɨɜ. ɗɬɨ ɩɪɟɞɫɬɚɜɥɟɧɢɟ ɩɨɤɚɡɵɜɚɟɬ, ɫɥɟɞɭɸɳɟɟ ɜɵɫɤɚɡɵɜɚɧɢɟ
29
«Ʌɨɝɢɱɟɫɤɢɟ ɡɚɤɨɧɵ, ɢɦɟɸɳɢɟ ɡɧɚɱɟɧɢɟ ɢɫɬɢɧɧɨɫɬɢ Ʌ (ɥɨɠɶ) ɧɢɠɟ ɜɫɟɯ
ɫɭɳɟɫɬɜɭɸɳɢɯ. ɂɡ ɤɚɠɞɨɣ ɮɨɪɦɭɥɵ ɜ ɤɥɚɫɫ Ʌ (ɥɨɠɶ) (ɜ ɧɢɠɧɸɸ ɜɟɪɲɢɧɭ – ɜ
ɤɥɚɫɫ ɬɨɠɞɟɫɬɜɟɧɧɨ ɥɨɠɧɵɯ ɮɨɪɦɭɥ) ɟɫɬɴ ɩɭɬɶ, ɬɨ ɟɫɬɶ ɤɥɚɫɫ ɥɨɝɱɟɫɤɢɯ
ɡɚɤɨɧɨɜ, ɡɧɚɱɟɧɢɹ ɢɫɬɢɧɧɨɫɬɢ ɤɨɬɨɪɵɯ Ʌ (ɥɨɠɶ) ɟɫɬɶ ɩɪɨɫɬɨ ɦɢɧɢɦɚɥɶɧɵɣ (ɧɚ
ɨɬɪɟɡɤɟ ɫɚɦɵɣ ɦɚɥɵɣ) ɷɥɟɦɟɧɬ.
§1.12. ɉɪɚɜɢɥɶɧɵɟ ɪɚɫɫɭɠɞɟɧɢɹ
A B C D 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
0 0 0 0 0 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1
0 0 0 1 0 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1
0 0 1 0 0 1 1 1 0 0 0 0 1 0 1 0 0 1 0 1
30
0 0 1 1 0 1 1 0 0 0 0 0 1 0 1 0 1 1 0 1
0 1 0 0 1 0 0 1 0 1 0 1 1 1 1 0 1 1 0 1
0 1 0 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1
0 1 1 0 1 1 1 1 0 0 0 0 1 0 0 0 1 1 0 1
0 1 1 1 1 1 1 0 0 0 0 0 1 0 0 0 1 1 0 1
1 0 0 0 1 0 0 1 1 0 0 1 0 0 1 0 0 1 0 1
1 0 0 1 1 1 1 0 0 1 1 1 0 0 1 1 1 1 1 1
1 0 1 0 1 1 1 1 1 1 1 0 0 0 1 1 0 0 0 1
1 0 1 1 1 1 1 0 0 0 0 0 0 1 1 0 1 1 0 1
1 1 0 0 1 0 0 1 1 0 0 1 0 0 0 0 0 1 0 1
1 1 0 1 1 1 1 0 0 1 0 1 0 0 0 0 1 1 0 1
1 1 1 0 1 1 1 1 1 1 1 0 0 0 0 0 0 1 0 1
1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 0 1
31
3. ɉɪɢ ɡɚɞɚɧɧɵɯ ɡɧɚɱɟɧɢɹɯ Ⱥ ɢ ȼ ɜɵɱɢɫɥɢɬɟ ɥɨɝɢɱɟɫɤɭɸ ɮɨɪɦɭɥɭ:
a) (A֜¬B)(רB֜¬C)(שC֜¬A)֞ (¬A֜B)¬(שB֜C)¬(רC֜A), |A|=|B|=1;
b) ((B ֜ C) ֜ A) ֜ ¬D, |A| = 0, |B| = 1;
c) ((¬A ֞ C) ֞ D) ֜ (B רC ֞ ¬E), |A| = |B| = 0.
11. ɍɩɪɨɫɬɢɬɟ:
a) A ֜ ¬A; b) A ֞ ¬A; c) (A ֜ A) ֜ A;
d) ¬A ֜ (A ֜ B); e) ((A ֜ B) ֜ A) ֜ B;
f) (A ֞ B) ֜ (A ֜ B); g) (A֜B)(רB֜A) ֜ AשB.
14. Ⱦɨɤɚɠɢɬɟ:
a) A ֜ B, C ֜ B, (B רC) ֜ A; b) A ֜ B, A ֜ B שC, B ֜ C;
c) A ֜ B שC, B ֜ A שC, A רB ֜ C; d) C ֜ A שB, B רC ֜ A, A רB ֜ C;
e) A ֜ B שC, D ֜ E שF, C ֜ B ¬ שA, D רF ֜ ¬E.
34
Ƚɥɚɜɚ II
ɅɈȽɂɑȿɋɄȺə ȺɅȽȿȻɊȺ
x1 x2 ... xs ... xn
୧భ ୧మ ... y is ... y in
37
§2.2. Ɉɩɪɟɞɟɥɟɧɢɟ ɡɧɚɱɟɧɢɹ ɛɭɥɟɜɵɯ ɮɭɧɤɰɢɣ
ɉɪɟɞɩɨɥɨɠɢɦ, ɱɬɨ ɡɚɞɚɧ ɧɚɛɨɪ ɡɧɚɱɟɧɢɣ ത ൌ ሺଵ ǡ ଶ ǡ ǥ ǡ ୬ ሻǡ ˆˇˈ୧ אሼͲǡ ͳሽǤ
ȼɟɤɬɨɪ ത ൌ ሺଵ ǡ ଶ ǡ ǥ ǡ ୬ ሻ ɧɚɡɵɜɚɟɬɫɹ n-ɦɟɪɧɵɦ ɛɭɥɟɜɵɦ ɜɟɤɬɨɪɨɦ. ɑɢɫɥɨ
ɤɨɨɪɞɢɧɚɬ ɷɬɢɯ ɜɟɤɬɨɪɨɜ ɧɚɡɵɜɚɟɬɫɹ ɢɯ ɞɥɢɧɨɣ. Ɇɧɨɠɟɫɬɜɭ ɬɚɤɢɯ ɜɟɤɬɨɪɨɜ
ɦɨɠɧɨ ɩɨɫɬɚɜɢɬɶ ɜ ɫɨɨɬɜɟɬɫɬɜɢɟ ɦɧɨɠɟɫɬɜɨ ɜɟɪɲɢɧ ɟɞɢɧɢɱɧɨɝɨ ɤɭɛɚ. ɇɚɛɨɪɵ
ത א୬ ɟɫɬɶ ɜɟɪɲɢɧɵ ɝɢɩɟɪɤɭɛɚ . ɋɨɫɟɞɧɢɟ ɜɟɪɲɢɧɵ ɤɭɛɚ ɨɬɥɢɱɚɸɬɫɹ ɨɞɧɨɣ
ɤɨɨɪɞɢɧɚɬɨɣ . ɇɚɩɪɢɦɟɪ, ɜ 3-ɦɟɪɧɨɦ ɝɢɩɟɪɤɭɛɟ ɜɟɪɲɢɧɟ (0,0,0) ɫɨɫɟɞɧɢɦɢ
ɹɜɥɹɟɬɫɹ ɦɧɨɠɟɫɬɜɨ ɜɟɪɲɢɧ ሼሺͲǡͲǡͳሻǡ ሺͲǡͳǡͲሻǡሺͳǡͲǡͲሻሽ, ɜɟɪɲɢɧɟ (0,1,0) ɫɨɫɟɞɧɢɦɢ
ɹɜɥɹɟɬɫɹ ɦɧɨɠɟɫɬɜɨ ɜɟɪɲɢɧ {(0,1,1), (1,1,0), (1,0,1)}. Ʉɚɠɞɨɦɭ ɞɜɨɢɱɧɨɦɭ
n
ɧɚɛɨɪɭ d n ɫɬɚɜɢɬɫɹ ɜ ɫɨɨɬɜɟɬɫɬɜɢɟ ɞɟɫɹɬɢɱɧɨɟ ɱɢɫɥɨ N( d n ) = ¦ d i 2 n −i . d n
i=1
B0 B1
n=0, 2n=1 n=1, 2n=2
B2 B3 B4
x3
ϬϬϭ ϭϬϭ
x1 x2 x3 y
0 0 0 1
Ϭϭϭ ϭϭϭ
0 0 1 1
0 1 0 0
ϬϬϬ ϭϬϬ
0 1 1 0
x1
1 0 0 1 ϭϭϬ
ϬϭϬ
1 0 1 0 x2
1 1 0 0
1 1 1 1
;Ϭ͕Ϭ͕ϬͿ ͲͲͲ
ͲͲͳ
;Ϭ͕Ϭ͕ϭͿ ଵ ൌ ൮ ൲
ͳͲͲ
;Ϭ͕ϭ͕ϬͿ Ϭ
ͳͳͳ
;Ϭ͕ϭ͕ϭͿ
;ϭ͕Ϭ͕ϬͿ ͲͳͲ
ൌ ൮Ͳͳͳ൲
;ϭ͕Ϭ͕ϭͿ
ϭ
ͳͲͳ
;ϭ͕ϭ͕ϬͿ
ͳͳͲ
;ϭ͕ϭ͕ϭͿ
f(x1,x2,x3) mx1x2x3=0(1)
39
Ɂɚɞɚɧɢɟ ɛɭɥɟɜɨɣ ɮɭɧɤɰɢɢ ɫ ɩɨɦɨɳɶɸ ɱɢɫɟɥ
x y z F
0 0 0 0 0
1 0 0 1 1
2 0 1 0 0
3 0 1 1 0
4 1 0 0 1
5 1 0 1 1
6 1 1 0 0
7 1 1 1 1
σଵ ൌ ሾͳǡͶǡͷǡሿǡς ൌ[0,2,3,6]
40
1 1 ... 0 v2
...
...
...
...
...
0 0 ... 0 vn
1
Ⱦɥɹ ɮɭɧɤɰɢɢ ɨɞɧɨɣ ɩɟɪɟɦɟɧɧɨɣ (n=1 ɢ 22 = 4 ) d(M)=0, d(M)=1, d(M)=2,
d(M)=3, ɬɨ ɟɫɬɶ ɱɢɫɥɨ ɬɚɤɢɯ ɮɭɧɤɰɢɣ ɱɟɬɵɪɟ 4 (f0,f1,f2,f3):
0=0⋅ʹଵ Ͳʹ ǡ ͳ ൌ Ͳʹଵ ͳʹ ǡ ʹ ൌ ͳʹଵ Ͳʹ ǡ ͵ ൌ ͳʹଵ ͳʹ .
Ɏɭɧɤɰɢɢ f0 ɢ f3 ɹɜɥɹɸɬɫɹ ɫɨɨɬɜɟɬɫɬɜɟɧɧɨ ɩɨɫɬɨɹɧɧɵɦɢ 0 ɢ 1. Ɍɚɤ ɤɚɤ
ɮɭɧɤɰɢɹ f1(x) «ɩɨɜɬɨɪɹɟɬ» x, ɬɨ f1(x)=x ɢ f2(x)=ത. Ɍɚɛɥɢɰɚ ɢɫɬɢɧɧɨɫɬɢ ɮɭɧɤɰɢɢ
ɨɞɧɨɣ ɩɟɪɟɦɟɧɧɨɣ ɫɥɟɞɭɸɳɚɹ:
X f0 f1 f2 f3
0 0 0 1 1
1 0 1 0 1
Ⱦɥɹ ɮɭɧɤɰɢɢ ɞɜɭɯ ɩɟɪɟɦɟɧɧɵɯ (n=2 ɢ 2 2 = 16 ) d(M)=0, d(M)=1, d(M)=2,
2
41
d(M)=3, ... , d(M)=15, ɬɨ ɟɫɬɶ ɱɢɫɥɨ ɬɚɤɢɯ ɮɭɧɤɰɢɣ 16:
0 = 0 ⋅ 23 + 0 ⋅ 22 + 0 ⋅ 21 + 0 ⋅ 20 ; 1 = 0 ⋅ 23 + 0 ⋅ 22 + 0 ⋅ 21 + 1 ⋅ 20 ;
2 = 0 ⋅ 23 + 0 ⋅ 22 + 1⋅ 21 + 0 ⋅ 20 ; 3 = 0 ⋅ 23 + 0 ⋅ 22 + 1⋅ 21 + 1⋅ 20 ;
4 = 0 ⋅ 2 + 1⋅ 2 + 0 ⋅ 2 + 0 ⋅ 2 ;
3 2 1 0
5 = 0 ⋅ 23 + 1⋅ 22 + 0 ⋅ 21 + 1⋅ 20 ;
6 = 0 ⋅ 23 + 1⋅ 22 + 1⋅ 21 + 0 ⋅ 20 ; 7 = 0 ⋅ 23 + 1⋅ 22 + 1⋅ 21 + 1 ⋅ 20 ;
8 = 1⋅ 2 + 0 ⋅ 2 + 0 ⋅ 2 + 0 ⋅ 2 ;
3 2 1 0
9 = 1⋅ 23 + 0 ⋅ 22 + 0 ⋅ 21 + 1⋅ 20 ;
10 = 1⋅ 23 + 0 ⋅ 22 + 1⋅ 21 + 0 ⋅ 20 ; 11 = 1⋅ 23 + 0 ⋅ 22 + 0 ⋅ 21 + 1⋅ 20 ;
12 = 1⋅ 23 + 1⋅ 22 + 0 ⋅ 21 + 0 ⋅ 20 ; 13 = 1⋅ 23 + 1⋅ 22 + 0 ⋅ 21 + 1⋅ 20 ;
14 = 0 ⋅ 23 + 1⋅ 22 + 1⋅ 21 + 0 ⋅ 20 ; 15 = 1⋅ 23 + 1⋅ 22 + 1⋅ 21 + 1⋅ 20.
Ȼɭɥɟɜɵɟ ɮɭɧɤɰɢɢ
x1 x2 f0 f1 f2 f3 f4 f5 f6 f7 f8 f9 f10 f11 f12 f13 f14 f15
0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1
0 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1
1 0 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1
1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1
42
ଵହ ሺଵ ǡ ଶ ሻ=1 – ɛɭɥɟɜɚɹ ɮɭɧɤɰɢɹ ɬɨɠɞɟɫɬɜɟɧɧɨ ɪɚɜɧɚɹ ɨɫɬɨɹɧɧɨɣ 1.
Ⱦɥɹ ɬɨɝɨ, ɱɬɨɛɵ f(x,y,z)=തതz, f(x,y,z)=1, ɧɭɠɧɨ ɱɬɨɛɵ x=0, y=0, z=1 , ɬɨ ɟɫɬɶ
A=0, B=0, C=1.
ȼ ɭɫɥɨɜɢɢ ɩɪɢɦɟɪɚ ɫɨɨɛɳɟɧɢɟ B ɧɟ ɩɟɪɟɞɚɧɨ, ɚ C ɩɟɪɟɞɚɧɨ
(തሻǡ ˕ˑˈ˔˕˟ሺǡ ǡ ሻ ՜ തൌͳ. Ⱦɟɣɫɬɜɢɬɟɥɶɧɨ,
തത ՜ ത ൌ ሺሺതതz))שത z=x(שሺതሻ)שത z=xש1=1.
43
=g(ଵ ǡ ଶ ǡ Ǥ Ǥ Ǥ ǡ ୧ିଵ ǡ ୧ାଵ ǡ Ǥ Ǥ Ǥ ǡ ୬ ).
ȼ ɩɪɨɬɢɜɧɨɦ ɫɥɭɱɚɟ ୧ ɧɚɡɵɜɚɟɬɫɹ ɨɫɧɨɜɧɨɣ (ɜɚɠɧɨɣ) ɩɟɪɟɦɟɧɧɨɣ. Ɉɞɧɚɤɨ ɜɨ
ɦɧɨɝɢɯ ɫɥɭɱɚɹɯ ɛɨɥɟɟ ɜɵɝɨɞɧɨ ɜɜɨɞɢɬɶ ɮɢɤɬɢɜɧɵɟ ɚɪɝɭɦɟɧɬɵ ɜ ɮɭɧɤɰɢɸ.
Ⱦɟɣɫɬɜɢɬɟɥɶɧɨ, ɫ ɩɨɦɨɳɶɸ ɮɢɤɬɢɜɧɵɯ ɩɟɪɟɦɟɧɧɵɯ ɦɨɠɧɨ ɜ ɮɭɧɤɰɢɹɯ,
ɡɚɜɢɫɹɳɢɯ ɨɬ ɪɚɡɥɢɱɧɨɝɨ ɱɢɫɥɚ ɩɟɪɟɦɟɧɧɵɯ, ɫɞɟɥɚɬɶ ɱɢɫɥɨ ɩɟɪɟɦɟɧɧɵɯ
ɨɞɢɧɚɤɨɜɵɦ, ɬɨ ɟɫɬɶ ɞɥɹ ɜɫɟɯ ɪɚɫɫɦɚɬɪɢɜɚɟɦɵɯ ɮɭɧɤɰɢɣ ɦɧɨɠɟɫɬɜɨ
ɩɟɪɟɦɟɧɧɵɯ ɛɭɞɟɬ ɨɞɧɢɦ ɢ ɬɟɦ ɠɟ.
ɉɪɢɦɟɪ. Ɉɩɪɟɞɟɥɢɬɟ ɮɢɤɬɢɜɧɵɟ ɚɪɝɭɦɟɧɬɵ ɮɭɧɤɰɢɢ
F(തതതͶ )=(1100001111000011).
F(0,0,0,1)=F(0,0,0,1)=F(0,1,1,0)=F(0,1,1,1)=
=F(1,0,0,0)=F(1,0,0,1)=F(1,1,1,0=F(1,1,1,1)=1,
ɬɨ ɟɫɬɶ x4 ɮɢɤɬɢɜɧɵɣ ɚɪɝɭɦɟɧɬ.
F(0,0,0,0)=F(1,0,0,0)=F(0,1,1,0)=F(1,1,1,0)=
=F(0,0,0,1)=F(1,0,0,1)=F(0,0 ,1,0)=F(1,0,10)=1,
ɬɨ ɟɫɬɶ xɣ ɮɢɤɬɢɜɧɵɣ ɚɪɝɭɦɟɧɬ.
F0,0,0)≠F(0,1,0,0), F(0,0,0,1)≠F(0,1,0,1),
F(1,0,0,0)≠F(1,1,0,0), F(1,1,1,1)≠F(1,0,1,1),
ɬɨ ɟɫɬɶ x2 ɨɫɧɨɜɧɨɣ ɚɪɝɭɦɟɧɬ.
F(0,0,0,0)≠F(0,0,1,0), F(0, 0,0,1)≠F(0,0,1,1),
F(0,1,0,0)≠F(0,1,1,0), F(0,1,0,1)≠F(0,1,1,1),
ɬɨ ɟɫɬɶ x3 ɨɫɧɨɜɧɨɣ ɚɪɝɭɦɟɧɬ.
F(തതതͶ ሻ ൌ ሺʹ ǡ͵ ሻ ൌ ʹ ̱͵
ଵ 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1
ଶ 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1
ଷ 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1
ସ 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1
F 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1
F(0,0,0)=F(0,1,0)=F(1,0,0)=F(1,1,0)=1,
ɬɨ ɟɫɬɶ x2 ɮɢɤɬɢɜɧɵɣ ɚɪɝɭɦɟɧɬ.
F(0,0,1)=F(0,1,1)=F(1,0,1)=F(1,1,1)=0,
44
ɬɨ ɟɫɬɶ x1 ɮɢɤɬɢɜɧɵɣ ɚɪɝɭɦɟɧɬ, ɚ ଷ − ɨɫɧɨɜɧɨɣ ɚɪɝɭɦɟɧɬ.
F(ଷ ሻ ൌ ሺͳͲͳͲͳͲͳͲሻ ൌ തଷ .
ɉɪɢɦɟɪ. Ɉɩɪɟɞɟɥɢɬɟ ɮɢɤɬɢɜɧɵɟ ɚɪɝɭɦɟɧɬɵ ɮɭɧɤɰɢɢ
F(ଷ )=(01100110).
F(0,0,0)=F(0,1,1)=F(1,0,0)=F(1,1,1)=0,
ɬɨ ɟɫɬɶ x1 ɮɢɤɬɢɜɧɚɹ ɩɟɪɟɦɟɧɧɚɹ.
F(0,0,1)=F(0,1,0)=F(1,0,1)=F(1,1,0)=1,
ɬɨ ɟɫɬɶ ଶ ˋଷ − ɨɫɧɨɜɧɵɟ ɚɪɝɭɦɟɧɬɵ.
ɉɪɢɦɟɪ. Ɉɩɪɟɞɟɥɢɬɟ ɮɢɤɬɢɜɧɵɟ ɚɪɝɭɦɟɧɬɵ ɮɭɧɤɰɢɢ
F(ଷ )=(11110011).
F(1,0,0)=f(1,0,1)=0,
ɬɨ ɟɫɬɶ x3 ɮɢɤɬɢɜɧɚɹ ɩɟɪɟɦɟɧɧɚɹ.
F(0,0,0)=F(0,0,1)=F(0,1,0)=F(1,1,1)=F(0,1,1)=F(1,1,0)=1,
ɬɨ ɟɫɬɶ ଵ ˋଶ − ɨɫɧɨɜɧɵɟ ɚɪɝɭɦɟɧɬɵ.
ɉɪɢɦɟɪ. Ɉɩɪɟɞɟɥɢɬɟ ɮɢɤɬɢɜɧɵɟ ɚɪɝɭɦɟɧɬɵ ɮɭɧɤɰɢɢ
ሺ ʹ ሻൌሺͳ ሺʹ ՜ሺͳ ̱ʹ ሻሻሻשതതതതതതതതതതǤ
ͳ ՜ʹ
ɇɚ ɨɫɧɨɜɚɧɢɢ ɬɚɛɥɢɰɵ ɢɫɬɢɧɧɨɫɬɢ
ሺ ଶ ሻ ൌ ሺଵ ሺଶ oሺଵ ̱ଶ ሻሻሻ שതതതതതതതതതത
ଵ oଶ ൌ ሺͳͲͳͲሻ ൌ തଶ ,
ɬɨ ɟɫɬɶ x1 ɮɢɤɬɢɜɧɚɹ ɩɟɪɟɦɟɧɧɚɹ.
ଵ ՝ ଶ ൌ തതതതതതതതത
ଵ שଶ ൌ തଵ רതଶ ǡଵ ȁଶ ൌ തതതതതതതതത
ଵ רଶ ൌ തଵ שതଶ ,
ത ൌ ՝ ൌ ȁǡଵ ଶ ൌ തଵ pതଶ ൌ ሺଵ pଵ ሻpሺଶ pଶ ),
ଵ שଶ ൌ തതതതതതതതത
ଵ ՝ ଶ ൌ ሺଵ ՝ ଶ ሻ ՝ ሺଵ ՝ ଶ ).
ɉɪɢɜɟɞɟɦ ɫɥɟɞɭɸɳɢɟ ɪɚɜɧɨɫɢɥɶɧɵɟ ɞɟɣɫɬɜɢɹ (ɡɚɤɨɧɵ ɛɭɥɟɜɨɣ ɚɥɝɟɛɪɵ),
ɩɪɨɜɟɪɢɬɶ ɤɨɬɨɪɵɟ ɧɟ ɬɪɭɞɧɨ:
1. Ʉɨɦɦɭɬɚɬɢɜɧɨɫɬɶ:
לൌ לǡ אלሼרǡ שǡ ǡ ǡ ՝ǡ ȁሽ;
2. Ⱥɫɫɨɰɢɚɬɢɜɧɨɫɬɶ:
לሺ לሻ ൌ ሺ לሻ לǡ אלሼרǡ שǡ ǡ ሽ,
3. ɉɟɪɜɵɣ ɞɢɫɬɪɢɛɭɬɢɜɧɵɣ ɡɚɤɨɧ:
∧(y∨z)=(x∧y)∨(x∧z);
4. ȼɬɨɪɨɣ ɞɢɫɬɪɢɛɭɬɢɜɧɵɣ ɡɚɤɨɧ:
x∨(y∧z)=(x∨y)∧(x∨z);
5. Ɍɪɟɬɢɣ ɞɢɫɬɪɢɛɭɬɢɜɧɵɣ ɡɚɤɨɧ:
∧(y⊕z)=(x∧y)⊕(x∧z);
6. Ɂɚɤɨɧɵ ɞɟ Ɇɨɪɝɚɧɚ: തതതതതൌതതǡ
തതതതതതൌതത;
8. Ɂɚɤɨɧ ɞɜɨɣɧɨɝɨ ɨɬɪɢɰɚɧɢɹ: ത ൌ Ǣ
9. Ɂɚɤɨɧ ɢɞɟɦɩɨɬɟɧɬɧɨɫɬɢ:x∨x=x, xޔx=x;
10. x∨ത ൌ ͳǡ ത ൌ Ͳǡ ͳ ൌ ͳǡ ͳ ൌ ǡ Ͳ ൌ ǡ ∧0=0;
11. ൌ തǢ ൌ ͲǢ ത ൌ ͳǢ ͳ ൌ തǤ
12. ൌ ሺሻሺതതሻǡ ൌ ሺതሻሺത),
x⇔ ൌ ሺ ՜ ሻሺ ՜ );
13. ൌ ሺതതതതതതതതത
ሻǡ ൌ ሺ
തതതതതതതതത);
14. Ɂɚɤɨɧ ɩɨɝɥɨɳɟɧɢɹ: ሺሻ ൌ ǡሺሻ ൌ ;
15. Ɂɚɤɨɧ ɪɚɡɞɟɥɟɧɢɹ: ൌ ሺሻሺത)͕ ൌ ሺሻሺത).
46
Ɏɭɧɤɰɢɹ
כሺଵ ǡ ଶ ǡ ǥ ǡ ୬ ሻ ൌ തതതതതതതതതതതതതതതതതതത
ሺതଵ ǡ തଶ ǡ ǥ ǡ ത୬ ሻ
ɧɚɡɵɜɚɟɬɫɹ ɞɜɨɣɫɬɜɟɧɧɨɣ ɞɥɹ ɮɭɧɤɰɢɢ ሺଵ ǡ ଶ ǡ ǥ ǡ ୬ ሻ.
Ȼɭɥɟɜɚɹ ɮɭɧɤɰɢɹ, ɭɞɨɜɥɟɬɜɨɪɹɸɳɚɹ ɫɜɨɣɫɬɜɭ ( כx)=f(x), ɧɚɡɵɜɚɟɬɫɹ
ɞɜɨɣɫɬɜɟɧɧɨɣ ɫɟɛɟ. ɇɚɩɪɢɦɟɪ, ɮɭɧɤɰɢɢ
തതതതത
ሺሻ ൌ ǡ כሺሻ ൌ ሺതሻ ൌ ത ൌ ൌ ሺሻ;
തതതതത
ሺሻ ൌ തǡ כሺሻ ൌ ሺത ሻ ൌ ത ൌ ሺሻ
ɞɜɨɣɫɬɜɟɧɧɵɟ ɫɟɛɟ.
f(ଵ ǡ ଶ ሻ ൌ ଵ שଶ ǡ כሺଵ ǡ ଶ ሻ ൌ ଵ רଶ ;
fሺଵ ǡ ଶ ሻ ൌ ଵ רଶ ǡ כሺଵǡ ଶ ሻ ൌ ଵ שଶ .
Ɍɚɤɢɦ ɨɛɪɚɡɨɦ, ɞɜɨɣɫɬɜɟɧɚɹ ɞɥɹ 0 ɟɫɬɶ 1, ɞɥɹ 1 ɟɫɬɶ 0, ɞɥɹ x ɟɫɬɶ x, ɞɥɹ
ଵ רଶ ˈ˔˕˟ଵ שଶ ǡ ˇˎˢଵ שଶ ˈ˔˕˟ଵ רଶ .
ɉɪɢɦɟɪ. ɇɚɩɢɫɚɬɶ ɞɜɨɣɫɬɜɟɧɧɭɸ ɮɭɧɤɰɢɸ ɞɥɹ
തതതതതሻ.
ൌሺשሺͳ՜ሻሻשതשሺതפ՝
ሺשሻȗ ൌήǡͳȗ ൌͲǡሺoሻȗ ൌതതതതതത തതതതതത
തoതൌש ഥ ൌതήǡ
ሺήሻȗ ൌשǡሺതሻȗ ൌതǡሺפሻȗ ൌpǡሺpሻȗ ൌפǡ
ȗ ൌሺሺͲത ሻሻሺשതሻሺതpפതതതതሻǤ
തͲൌͳǡͳήൌǡήൌǡത ൌǡĻൌതήത ,
פൌതשതൌήήሺשതሻƬሺതשതሻൌήήሺשതሻήሺതשሻǤ
ήൌǡήതൌͲǡήͲൌͲǡͲשൌǡ ȗ ൌήήሺήതשήשതήതשതήሻൌǤ
ȿɫɥɢ ɮɭɧɤɰɢɹ f(ଵ ǡ ଶ ǡ Ǥ Ǥ Ǥ ǡ ୬ ) ɡɚɞɚɧɚ ɬɚɛɥɢɰɟɣ ɢɫɬɢɧɧɨɫɬɢ ɡɧɚɱɟɧɢɣ, ɬɨɝɞɚ,
ɱɬɨɛɵ ɩɨɥɭɱɢɬɶ ɬɚɛɥɢɰɭ ɢɫɬɢɧɧɨɫɬɢ ɡɧɚɱɟɧɢɣ ɞɜɨɣɫɬɜɟɧɧɨɣ ɮɭɧɤɰɢɢ ɧɭɠɧɨ
ɡɚɦɟɧɢɬɶ ɧɭɥɢ ɧɚ ɟɞɢɧɢɰɵ, ɚ ɟɞɢɧɢɰɵ ɧɚ ɧɭɥɢ ɢ ɩɨɥɭɱɟɧɧɵɟ ɡɧɚɱɟɧɢɹ
ɩɨɜɟɪɧɭɬɶ ɧɚ 1800.
ɉɪɢɦɟɪ. f(ଵ ǡ ଶ ǡ Ǥ Ǥ Ǥ ǡ ୬ )=(00101101), כሺଵ ǡ ଶ ǡ ǥ ǡ ୬ ሻ = (01001011).
ɉɪɢɦɟɪ. ɇɚɣɬɢ ɞɜɨɣɫɬɜɟɧɧɭɸ ɮɭɧɤɰɢɸ ɞɥɹ ɮɭɧɤɰɢɢ ሺǡǡሻൌሺതשതሻሺതሻ.
Ɂɚɦɟɧɢɦ ɡɞɟɫɶ רː˃ שɢ שː˃ר:
ȗ ሺǡǡሻൌሺതרሺതשሻሻ שሺሺ שሻሺ שതሻሻ
ɉɪɢɦɟɪ. ɇɚɣɬɢ ɞɜɨɣɫɬɜɟɧɧɭɸ ɮɭɧɤɰɢɸ ɞɥɹ ɮɭɧɤɰɢɢ f(x,y,z)=(01110011.
ɋɧɚɱɚɥɚ ɫɞɟɥɚɟɦ ɨɬɪɢɰɚɧɢɟ ɡɧɚɱɟɧɢɹ ɮɭɧɤɰɢɢ, ɡɚɬɟɦ ɡɧɚɱɟɧɢɟ ɩɟɪɟɩɢɲɟɦ
ɩɪɨɬɢɜɨɩɨɥɨɠɧɨ:
ሺҧ ǡǡሻൌሺͳͲͲͲͳͳͲͲሻǡ כሺǡ ǡ ሻ ൌ ሺͲͲͳͳͲͲͲͳሻǤ
x i , ɟɫɥɢ αi=1,
x iαi = ®
¯x i , ɟɫɥɢ αi=0.
ɡɞɟɫɶ αi=0;1.
Ɋɚɡɥɨɠɟɧɢɟ (*) ɧɚɡɵɜɚɟɬɫɹ ɪɚɡɥɨɠɟɧɢɟɦ ɒɟɧɧɨɧɚ.
ɉɪɢ k=1
f(ଵ ǡ ଶ ǡ Ǥ Ǥ Ǥ ǡ ୬ ሻ ൌ ଵ ሺͲǡ ଶ ǡ Ǥ Ǥ Ǥ ǡ ୬ )שଵଵ ሺͳǡ ଶ ǡ Ǥ Ǥ Ǥ ǡ ୬ )=
ൌ തଵ ሺͲǡ ଶ ǡ Ǥ Ǥ Ǥ ǡ ୬ ) שଵ ሺͳǡ ଶ ǡ Ǥ Ǥ Ǥ ǡ ୬ ),
ɉɪɢ n=4, k=2 ɪɚɜɟɧɫɬɜɨ (*) ɡɚɩɢɲɟɬɫɹ ɜ ɜɢɞɟ
ሺଵ ǡ ଶ ǡ ଷ ǡ ସ ሻ ൌ തଵ തଶ ሺͲǡ Ͳǡ ଷ ǡ ସ ሻ שതଵ ଶ ሺͲǡ ͳǡ ଷ ǡ ସ ሻ שଵ തଶ ሺͳǡ Ͳǡ ଷ ǡ ସ ሻ ש
ଵ ଶ ሺͳǡ ͳǡ ଷ ǡ ସ ሻǤ
ሺଵ ǡ ଶ ሻ ൌ ଵ ଵଶ שଵଵ ଶ שଵଵ ଵଶ ൌ തଵ ଶ שଵ തଶ שଵ ଶ .
49
ሺܠ ǡ ܠ ǡ Ǥ Ǥ Ǥ ǡ ܖܠሻ ൌ
തതതത
હ തതതത
હ തതതത
હ
ٿહǡહǡǥǡહܖሺܠ ܠ ש ǥ ܖ ܖܠሻ ሺહ ǡ હ ǡ ǥ ǡ હ ܖሻ
ɢ ɷɬɨ ɪɚɡɥɨɠɟɧɢɟ ɟɞɢɧɫɬɜɟɧɧɨɟ. Ɂɞɟɫɶ ɨɩɟɪɚɰɢɹ רɩɪɨɜɨɞɢɬɫɹ ɩɨ ɜɫɟɦ
ɧɚɛɨɪɚɦ ሺહ ǡ હ ǡ ǥ ǡ હ ܓሻ ɢ
હഥ ܠതܑ ǡˈ˔ˎˋȽ ൌͳǡ
ܑܠ ൌ ܠഥ હܑ ܑܠ שહഥ ൌ ൜
ܑܠǡˈ˔ˎˋȽ ൌͲǤ
ɉɪɢɦɟɪ. ɇɚɩɢɫɚɬɶ ɪɚɡɥɨɠɟɧɢɟ ɮɭɧɤɰɢɢ
f(ଵ ǡ ଶ ሻ ൌ തͳ .
f(0,ଶ ሻ ൌ Ͳത ൌ ͳǡ ሺͳǡ ଶ ሻ ൌ ͳത=0, f(0,0)=1,
f(0,1)=1, f(1,0)=0, f(1,1)=0,
തതത ഥ ഥ ഥ
ሺଵ ǡ ଶ ሻ ൌ ሺଵ שଶ שሺͲǡͲሻሻ רሺଵ שଵଶഥ ሺͲǡͳሻሻ רሺଵଵഥ שଶ שሺͳǡͲሻሻ רሺଵଵഥ שଵଶഥ שሺͳǡͳሻሻ ൌ
=ሺଵ שଶ ͳ שሻሺଵ שതଶ ͳ שሻሺതଵ שଶ Ͳ שሻሺതଶ שതଶ ( = )Ͳ שതଵ שଶ ሻሺതଶ שതଶ ሻ (Ʉ.ɇ.Ɏ.)
ȿɫɥɢ ɡɞɟɫɶ ɨɩɟɪɚɰɢɹ ɩɪɨɜɨɞɢɬɫɹ ɩɨ ɜɫɟɦ ɧɚɛɨɪɚɦ
(Ƚଵǡ Ƚଶ ǡ ǥ ǡ Ƚ୬ ሻǡ ˑ˄ˈ˔˒ˈ˚ˋ˅˃ˡ˜ˋ˘˓˃˅ˈː˔˕˅ˑሺȽଵ ǡ Ƚଶ ǡ ǥ ǡ Ƚ୬ )=0, ɬɨ
തതതത
തതതത
തതതത
ሺଵ ǡ ଶ ǡ ǥ ǡ ୬ ሻ ൌ ٿሺభǡమǡǥǡሻୀ൫ଵ భ שଶ మ שǥ ש୬ ൯ .
Ɉɩɪɟɞɟɥɟɧɢɟ. Ɏɨɪɦɚ ɪɚɡɥɨɠɟɧɢɹ ɒɟɧɧɨɧɚ ɛɭɥɟɜɨɣ ɮɭɧɤɰɢɢ
f(ଵ ǡ ଶ ǡ Ǥ Ǥ ǡ ୬ ሻǡ ˖ˇˑ˅ˎˈ˕˅ˑ˓ˢˡ˜˃ˢ˖˔ˎˑ˅ˋˡሺȽଵ ǡ Ƚଶ ǡ ǥ ǡ Ƚ୬ )=0, ɧɚɡɵɜɚɟɬɫɹ ɟɟ
ɫɨɜɟɪɲɟɧɧɨɣ ɤɨɧɴɸɧɤɬɢɜɧɨɣ ɧɨɪɦɚɥɶɧɨɣ ɮɨɪɦɨɣ (ɋ.Ʉ.ɇ.Ɏ.).
ɉɪɢɦɟɪ. ɇɚɩɢɲɟɦ ɪɚɡɥɨɠɟɧɢɟ ɮɭɧɤɰɢɢ
f(ଵ ǡ ଶ ሻ ൌ ଵ oଶ .
f(0,0)=1, f(0,1)=1, f(1,0)=0, f(1,1)=1,
f(x1, x2)= ଵଵഥ שଶഥ ൌ തଵ שଶ (ɋ.Ʉ.ɇ.Ɏ.).
ɉɪɢɦɟɪ. ɉɨɫɬɪɨɣɬɟ ɋ.Ⱦ.ɇ.Ɏ. ɢ ɋ.Ʉ.ɇ.Ɏ. ɛɭɥɟɜɨɣ ɮɭɧɤɰɢɢ
f(ଵ ǡ ଶ ǡ ଷ )=(01001011), ɡɚɞɚɧɧɨɣ ɜ ɜɢɞɟ ɬɚɛɥɢɰɵ ɢɫɬɢɧɧɨɫɬɢ.
ଵ 0 0 0 0 1 1 1 1
ଶ 0 0 1 1 0 0 1 1
ଷ 0 1 0 1 0 1 0 1
f(ଵ ǡ ଶ ǡ ଷ ) 0 1 0 0 1 0 1 1
51
ɒɚɝ 3. ɂɫɩɨɥɶɡɭɹ ɡɚɤɨɧ (A(שBרC))=((AשB)(רAשC)) ɬɚɤ, ɱɬɨɛɵ ɜɫɟ
ɞɢɡɴɸɧɤɰɢɢ ɜɵɩɨɥɧɹɥɢɫɶ ɪɚɧɶɲɟ ɤɨɧɴɸɧɤɰɢɣ.
( ͵ ሻൌതͳ ʹ ͵ שതͳ ʹ ത͵ שതͳ തʹ ͵ שതͳ തʹ ത͵ ͳשതʹ ͵ ͳשതʹ ത͵ ʹ ͳשത͵ ͳ שതͳ ʹ שതʹ ത͵ ,
שൌሺשሻൈሺשሻ, שതൌͳǡͳשൌͳǡ
52
§2.9. ɉɪɢɦɟɪɵ ɧɚ ɮɭɧɤɰɢɸ ɥɨɝɢɱɟɫɤɨɣ ɚɥɝɟɛɪɵ
53
g) Ⱦɥɹ ɤɚɤɨɣ ɮɭɧɤɰɢɢ ଵ ɮɢɤɬɢɜɧɚɹ ɩɟɪɟɦɟɧɧɚɹ:
f=(1100), f=(1001), f=(1010),
f=(1000), f=(1110)?
54
7. ɇɚɩɢɲɢɬɟ ɡɚɞɚɧɧɵɟ ɮɭɧɤɰɢɢ ɮɨɪɦɭɥɚɦɢ:
ଵ ሺଵ ǡ ଶ ሻ ൌ ሺͲͲͲͳሻǡ ଶ ሺଵ ǡ ଶ ሻ ൌ ሺͲͲͳͲሻǡ ଷ ሺଵ ǡ ଶ ሻ ൌ ሺͲͲͳͳሻǡ ସ ሺଵ ǡ ଶ ሻ ൌ ሺͲͳͲͲሻǡ
ହ ሺଵ ǡ ଶ ሻ ൌ ሺͲͳͲͳሻǡ ሺଵ ǡ ଶ ሻ ൌ ሺͲͳͳͲሻǡ
ሺଵ ǡ ଶ ሻ ൌ ሺͲͳͳͳሻǡ ଼ ሺଵ ǡ ଶ ሻ ൌ ሺͳͲͲͲሻǡ
ଽ ሺଵ ǡ ଶ ሻ ൌ ሺͳͲͲͳሻǡ ଵ ሺଵ ǡ ଶ ሻ ൌ ሺͳͲͳͲሻ,
ଵଵ ሺଵ ǡ ଶ ሻ ൌ ሺͳͲͳͳሻǡ ଵଶ ሺଵ ǡ ଶ ሻ ൌ ሺͳͳͲͲሻ,
ଵଷ ሺଵ ǡ ଶ ሻ ൌ ሺͳͳͲͳሻǡ ଵସ ሺଵ ǡ ଶ ሻ ൌ ሺͳͳͳͲሻ.
55
12. ɇɚɣɞɢɬɟ ɨɫɧɨɜɧɵɟ ɩɟɪɟɦɟɧɧɵɟ ɮɭɧɤɰɢɢ:
ͳሻ ሺʹ ሻൌሺሺͳ ʹשሻ՜ͳ ήʹ ሻሺͳ ՜ʹ ሻήሺʹ ՜ͳ ሻǢ
ʹሻ ሺʹ ሻൌሺͳ ՜ሺሺʹ ՜ͳ ሻ՜ʹ ሻሻ̱ሺͳ ʹשሻǢ
͵ሻ ሺʹ ሻൌሺͳ ሺʹ ՜ሺͳ ̱ʹ ሻሻሻשതതതതതതതതതതǢ
ͳ ՜ʹ
Ͷሻ ሺʹ ሻൌሺͳ ήʹ ሺͳ ՜ʹ ሻሻ՜ሺͳ ̱ͳ ήʹ ሻǢ
ͷሻ ሺʹ ሻൌሺതͳ ήʹ ՜ሺതͳ ՜തʹ ሻሻ՜ͳ ήതʹ Ǣ
ሻ ሺ͵ ሻൌሺͳ ՜ʹ ή͵ ሻήሺʹ ՜ͳ ή͵ ሻשሺͳ ̱ʹ ሻǢ
ሻ ሺ͵ ሻൌሺሺͳ ՜തʹ ሻሺʹ ՜ത͵ ሻሻሺʹ ՜͵ ሻǢ
ͺሻ ሺ͵ ሻൌሺሺͳ ʹשήത͵ ሻ՜ሺʹ ՜ͳ ή͵ ሻሻ՜ሺͳ ͵שሻǢ
ͻሻ ሺ͵ ሻൌሺሺͳ ՝ሺʹ ͵פሻሻ՝ሺʹ פሺͳ ՝͵ ሻሻሻ՝ሺͳ ʹפሻǢ
ͳͲሻ ሺ Ͷ ሻൌሺͳ ήʹ ͵ ήͶ ሻשሺሺͳ ή͵ ̱ʹ ሻ՜Ͷ ሻשതͳ ή͵ Ǥ
Ɉɬɜɟɬ: 1) ɧɟɬ; 3) x2; 9) x1, x2; 10) x2, x3, x4.
56
ɋ.Ⱦ.ɇ.Ɏ.:
ͳሻሺ͵ ሻൌͳ ʹ שത͵ Ǣ ʹሻሺ ͵ ሻൌതͳ തʹ ʹשത͵ ͳשത͵ Ǣ
͵ሻሺ͵ ሻൌͳ ש ͵ ʹשതʹ ത͵ Ǣ Ͷሻሺ ͵ ሻൌͳ തʹ ש ͵ ʹשത͵ Ǣ
ͷሻሺ͵ ሻൌͳ שതʹ שതͳ ͵ Ǣ ሻሺ Ͷ ሻൌͳ ʹ ത͵ ͵ ͳשതͶ Ǣ
ሻሺͶ ሻൌͳ ʹ שതʹ Ͷ ͵שതͶ Ǣͺሻሺ Ͷ ሻൌͳ ש ͵ ʹשതͳ Ͷ Ǥ
Ɉɬɜɟɬ: 2)ሺଷ ሻൌതͳ തʹ ͵ തͳ തʹ ͵ തͳ ʹ ത͵ ͳ ʹ ത͵ ͳ തʹ ത͵ ͳ ʹ ത͵ ;
5)݂ ሺ ଷ ሻൌͳ തʹ ͳ ʹ തͳ തʹ ͳ തʹതͳ തʹ ͵ തͳ ʹ ͵ ൌ
ൌͳ തʹ ത͵ ͳ തʹ ͵ ͳ ʹ ത͵ ͳ ʹ ͵ തͳ തʹ ത͵ തͳ തʹ ͵ തͳ ʹ ͵ .
57
ൌͳ തʹ ͳ ͵ തͳ തʹ ത͵ തʹ ത͵ ൌ ͳ തʹ ͳ ͵ തʹ ത͵ ൌͳ ͵ തʹ ത͵ ,
ሻሺͶ ሻൌሺͳ ʹ ͳ ത͵ തʹ ത͵ ሻሺʹ ͵ ʹ തͶ ͵ Ͷ ሻൌ
ൌ ͳ ʹ ͵ ͳ ʹ തͶ ͳ ʹ ͵ Ͷ ͳ ʹ ത͵ തͶ ൌͳ ʹ ͵ ͳ ʹ തͶ Ǥ
58
20. ɂɫɩɨɥɶɡɭɹ ɡɚɤɨɧɵ שήൌሺשሻሺשሻ, שൌ, שҧൌͳǡ ͳשൌͳǡήͳൌǡ
ήሺשሻൌ, ɩɪɢɜɟɫɬɢ ɮɭɧɤɰɢɸ gሺ ሻ ɢɡ ɋ.Ⱦ.ɇ.Ɏ. ɤ ɋ.Ʉ.ɇ.Ɏ.:
ͳሻሺ͵ ሻൌതͳ തʹ ͵שǢ ʹሻሺ ͵ ሻൌͳ തʹ ʹשത͵ שതʹ ͵ Ǣ
͵ሻ൫ ͵ ൯ൌതͳ ש ͵ ʹשതʹ ത͵ Ǣ Ͷሻሺ ͵ ሻൌതͳ ͳש ʹשതʹ ͵ Ǣ ͷሻሺ ͵ ሻൌതͳ തʹ שതʹ ʹשത͵ .
Ɉɬɜɟɬ:1)൫͵ ൯ ൌ ሺͳ ʹ ሻሺതʹ ʹ ሻሺͳ ത͵ ሻሺതʹ ത͵ ሻതʹ ͵ ൌ
ൌ ሺଵ ଶ തଶ ሻሺଵ തଶ തଷ ሻሺଶ തଷ തଷ തଶ ሻሺଵ ଶ ଷ ሻ;
2) ሺଵ തଷ ଷ ሻሺതଶ തଷ ଷ ሻ ൌ ሺଵതଶതଷ ሻሺതଶ തଷ ሻ;
3) ሺଵ ଶ ଷ ሻ ൌ ሺതଶ തଷ ሻሺଵଶଷሻǢ
Ͷሻሺ ଷ ሻ ൌ ሺതଵ തଶ ሻሺതଶ തଶ ሻଶ തଷ ൌ ሺതଵ തଶ ሻതଶ ଶ തଷ ൌ തଶ ଶ തଷ ൌ ሺതଶ ଶ ሻሺതଶ തଷ ሻ.
59
§2.10. Ⱥɥɝɟɛɪɚ ɀɟɝɚɥɤɢɧɚ.
Ɋɚɡɥɨɠɟɧɢɟ ɛɭɥɟɜɨɣ ɮɭɧɤɰɢɢ ɜ ɦɧɨɝɨɱɥɟɧ ɀɟɝɚɥɤɢɧɚ
60
ɉɪɢɦɟɪ. Ɂɚɞɚɧɧɵɟ ɮɭɧɤɰɢɢ ɫ ɩɨɦɨɳɶɸ ɪɚɜɧɨɫɢɥɶɧɵɯ ɮɨɪɦɭɥ ɪɚɡɥɨɠɢɬɟ ɜ
ɦɧɨɝɨɱɥɟɧ ɀɟɝɚɥɤɢɧɚ:
ɉɨɥɭɱɚɟɦ:
ൌ Ƚଵ כ Ƚכଶ ଵ Ƚכଷ ଶ ǥ Ƚכ୩ ଶିଵ .
61
Ɂɚɦɟɱɚɧɢɟ: Ɉɩɟɪɚɰɢɹ ɤɪɭɝɨɜɨɟ ɫɭɦɦɢɪɨɜɚɧɢɟ ɜɟɤɬɨɪɨɜ
Ƚ ൌ ሺȽଵ ǡ Ƚଶ ǡ ǥ ǡ Ƚ୬ ሻǡ Ⱦത ൌ ሺȾଵ ǡ Ⱦଶ ǡ ǥ ǡ Ⱦ୬ ) ɨɩɪɟɞɟɥɹɟɬɫɹ ɜ ɜɢɞɟ:
ഥ
ȽȾത ൌ ሺȽଵ Ⱦଵ ǡ Ƚଶ Ⱦଶ ǡ ǥ ǡ Ƚ୬ Ⱦ୬ ).
ഥ
ɉɪɢɦɟɪ. ɇɚɩɢɲɢɬɟ ɦɧɨɝɨɱɥɟɧ ɀɟɝɚɥɤɢɧɚ ɞɥɹ ɮɭɧɤɰɢɢ
f(ଵ ǡ ଶ ሻ ൌ ଵ שଶ =(0111):
Ƚଵ ൌ ሺͲͳሻǡ ഥ
ഥ Ƚଶ ൌ ሺͳͳሻǡ ሺഥ
Ƚଵ ሻ ൌ ሺͲǡͲͳ)=(01) ,
ഥଶ ሻ ൌ ሺͳǡͳͳሻ ൌ ሺͳͲሻǡሺഥ
ሺȽ Ƚଶ ሻ ൌ ሺሺͲͳሻǡ ሺͲͳሻሺͳͲሻ)=(0111),
Ƚଵ ഥ
f(ଵ ǡ ଶ ሻ ൌ Ͳ ͳଵ ͳ ଶ ͳ ଷ,
f(ଵ ǡ ଶ ሻ ൌ ଵ ଶ ଵ ଶ .
Ƚଵ ൌ ሺͲͲሻǡഥ
ഥ Ƚଶ ൌ ሺͲͳሻǡഥ
Ƚଷ ሺͳͲሻǡ ഥ
Ƚସ ൌ ሺͳͳሻ.
Ɉɩɪɟɞɟɥɢɦ ɮɭɧɤɰɢɢ:
T(ഥ Ƚଶ ሻ ൌ ൫ሺȽ
Ƚଵ ǡ ഥ ഥଵ ሻǡ ሺȽ
ഥଵ ሻሺȽ
ഥଶ ሻ൯=(00,00⊕01)=0001,
T(ഥ ǡ Ƚସ ሻ ൌ ሺሺഥ
Ƚଷ തതത Ƚଷ ሻǡ ሺȽ ഥଷ ሻ ْ ሺȽ ഥସ ሻ)=(11,11⊕10)=1101,
T(Ƚଵ ǡ Ƚଶ ǡ Ƚଷ ǡ Ƚଷ ሻ ൌ ሺሺഥ Ƚଶ ሻǡ ሺഥ
Ƚଵ ǡ ഥ Ƚଶ ሻሺȽଷ ǡ Ƚସ ሻ)=
Ƚଵ ഥ
=0001,0001ْ ͳͳͲͳ=00011100,
62
ɉɪɢɦɟɪ. ɇɚɩɢɲɢɬɟ ɦɧɨɝɨɱɥɟɧ ɀɟɝɚɥɤɢɧɚ ɞɥɹ ɮɭɧɤɰɢɢ
f(x,y,z)=(01101011).
ɇɚɩɢɲɟɦ ɋ.Ⱦ.ɇ.Ɏ. ɞɥɹ ɡɚɞɚɧɧɨɣ ɮɭɧɤɰɢɢ:
f(x,y,z)=(x⊕1)(y⊕1)z∨x(y⊕1)z∨x(y⊕1)(z⊕1)∨xy(z⊕1)∨xyz=
= .
ɉɪɢɦɟɪ. ɇɚɩɢɲɢɬɟ ɦɧɨɝɨɱɥɟɧ ɀɟɝɚɥɤɢɧɚ ɞɥɹ ɮɭɧɤɰɢɢ ሺǡ ǡ ሻ ൌ .
Ɍɚɤ ɤɚɤ ൌ , ɬɨ
Ɉɬɜɟɬ: 1) ͳ ʹ ͳǢ ͵ሻͳ ʹ ͵ ͳ ͵ ͳ Ǣ 6) ͳ ʹ ͳ ͵ ʹ ͵ ʹ ͵ ͳǢ
10) ͳ ʹ ͵ Ͷ ʹ ͵ Ͷ ͳ ͵ ͳ Ͷ ʹ ͵ ʹ Ͷ ͳ ʹ Ǥ
63
3. Ɋɚɡɥɨɠɢɬɟ ɜ ɦɧɨɝɨɱɥɟɧ ɀɟɝɚɥɤɢɧɚ ɮɭɧɤɰɢɢ, ɡɚɞɚɧɧɵɟ ɜ ɜɟɤɬɨɪɧɨɣ
ɮɨɪɦɟ:
ͳሻ ሺ ʹ ሻൌሺͳͲͲͲሻ ʹሻ ሺ ʹ ሻൌሺͲͲͳͲሻ;
͵ሻ ሺ ሻൌሺͲͳͳͲͳͳͳͲሻͶሻሺ ͵ ሻൌሺͲͳͳͳͲͲͳͳሻ;
͵
ଵ ଶ ଷ ସ ହ F
0 0 1 1 0 1 0 1
0 1 1 0 0 0 0 0
1 0 0 1 0 0 1 0
1 1 0 0 1 0 0 1
K1=x1 K2=x2 F K3 K4 K5 K6 K7 K8
0 0 1 1 1 0 0 0 1
0 1 1 1 0 0 1 0 0
1 0 0 0 1 0 0 1 0
1 1 1 0 0 1 0 0 0
65
ఈ ఈ
Ɉɩɪɟɞɟɥɟɧɢɟ. ȿɫɥɢ ɷɥɟɦɟɧɬɚɪɧɵɟ ɤɨɧɴɸɧɤɰɢɢ ୧భభ ݔ רమమ רǥ ݔ ר
ɹɜɥɹɸɬɫɹ ɢɦɩɥɢɤɚɧɬɚɦɢ ɮɭɧɤɰɢɢ ሺଵ ǡ ଶ ǡ ǥ ǡ ୬ ሻ ɢ ɟɫɥɢ ɩɪɢ ɨɬɛɪɚɫɵɜɚɧɢɢ ɢɡ
ɷɬɢɯ ɤɨɧɴɸɧɤɰɢɣ ɩɨ ɦɟɧɶɲɟɣ ɦɟɪɟ ɨɞɧɨɝɨ ɛɭɤɜɟɧɧɨɝɨ ɫɢɦɜɨɥɚ ɩɨɥɭɱɟɧɧɚɹ
ɤɨɧɴɸɧɤɰɢɹ ɛɭɞɟɬ ɢɦɩɥɢɤɚɧɬɨɣ ɮɭɧɤɰɢɢ ሺͳ ǡ ʹ ǡ ǥ ǡ ), ɬɨ ɬɚɤɚɹ ɷɥɟɦɟɧɬɚɪɧɚɹ
ɤɨɧɴɸɧɤɰɢɹ ɧɚɡɵɜɚɟɬɫɹ ɩɪɨɫɬɨɣ ɢɦɩɥɢɤɚɧɬɨɣ ɮɭɧɤɰɢɢ.
ɇɚɩɪɢɦɟɪ, ɤɨɧɴɸɧɤɰɢɢ ଶ ൌ ଶ ǡ ଷ ൌ തଵ ɹɜɥɹɸɬɫɹ ɩɪɨɫɬɵɦɢ ɢɦɩɥɢɤɚɧɬɚɦɢ
ɮɭɧɤɰɢɢ ሺͳ ǡʹ ሻǡ ͺ ൌ തͳ തʹ ǡ ൌ തͳ ʹ ǡ ͷ ൌ ͳ ʹ ɧɟ ɹɜɥɹɸɬɫɹ ɩɪɨɫɬɵɦɢ
ɢɦɩɥɢɤɚɧɬɚɦɢ.
Ɉɩɪɟɞɟɥɟɧɢɟ. Ⱦɢɡɴɸɧɤɰɢɹ ɜɫɟɯ ɩɪɨɫɬɵɯ ɢɦɩɥɢɤɚɰɧɬɨɜ ɮɭɧɤɰɢɢ
ሺଵ ǡ ଶ ǡ ǥ ǡ ୬ ) ɧɚɡɵɜɚɟɬɫɹ ɟɟ ɫɨɤɪɚɳɟɧɧɨɣ Ⱦ.ɇ.Ɏ.
ȼ ɞɚɧɧɵɯ ɩɪɢɦɟɪɚɯ ɫɨɤɪɚɳɟɧɧɚɹ Ⱦ.ɇ.Ɏ. ɮɭɧɤɰɢɢ ɛɭɞɟɬ ɜ ɜɢɞɟ
f(ଵ ǡ ଶ ሻ ൌ ଵ ̱ଶ ൌ ሺଵ ଶ ሻ שሺതଵതଶ ሻ,
f(ଵ ǡ ଶ ሻ ൌ ଵ → ଶ ൌ തଵ שଶ Ǥ
Ɉɩɪɟɞɟɥɟɧɢɟ. ȿɫɥɢ ɜ ɫɨɤɪɚɳɟɧɧɨɣ Ⱦ.ɇ.Ɏ. ɮɭɧɤɰɢɢ ሺଵǡ ଶ ǡ ǥ ǡ ୬ ሻɨɬɛɪɨɫɢɬɶ
ɢɦɩɥɢɤɚɧɬɵ ɧɟ ɜɪɟɞɹɳɢɟ ɟɟ ɡɧɚ¬ɱɟɧɢɹɦ ɢ ɨɫɬɚɜɳɚɹɫɹ Ⱦ.ɇ.Ɏ. ɫɧɨɜɚ ɪɟɚɥɢɡɭɟɬ
ɮɭɧɤɰɢɸ ሺͳ ǡ ʹ ǡ ǥ ǡ ), ɬɨɝɞɚ Ⱦ.ɇ.Ɏ. ɧɚɡɵɜɚɟɬɫɹ ɨɤɨɧɱɚɬɟɥɶɧɨɣ Ⱦ.ɇ.Ɏ.
ɮɭɧɤɰɢɢ.
ʠˑ˅ˈ˓˛ˈːː˃ˢʓǤ ʜǤ ʣ ฺ ʠˑˍ˓˃˜ˈːː˃ˢʓǤ ʜǤ ʣǤ ฺ
ฺ ʝˍˑː˚˃˕ˈˎ˟ː˃ˢʓǤ ʜǤ ʣǤ ฺ ʛˋːˋˏ˃ˎ˟ː˃ˢʓǤ ʜǤ ʣǤ
67
ɉɪɢɦɟɪ. ɇɚɩɢɲɢɬɟ ɫɨɤɪɚɳɟɧɧɭɸ Ⱦ.ɇ.Ɏ. ɡɚɞɚɧɧɨɣ ɮɭɧɤɰɢɢ
ൌ ሺଵ שଶ ሻሺതଵ שଶ שଷ ሻ ൌ
ൌ ଵ തଵ שଵ ଶ שଵ ଷ שതଵ ଶ שଶ ଶ שଶ ଷ .
ɋɨɝɥɚɫɧɨ ɡɚɤɨɧɚɦ
തൌͲ, xxK=xK, ଵ שଵ ଶ ൌ ଵ :
68
4. ɉɨɥɭɱɟɧɢɟ ɨɤɨɧɱɚɬɟɥɶɧɨɣ Ⱦ.ɇ.Ɏ. ɛɭɥɟɜɨɣ ɮɭɧɤɰɢɢ.
ɉɪɟɞɩɨɥɨɠɢɦ, ɱɬɨ ɡɚɞɚɧɚ ɫɨɤɪɚɳɟɧɧɚɹ Ⱦ.ɇ.Ɏ. ɮɭɧɤɰɢɢ
ሺͳ ǡʹ ǡ ǥ ǡ ୬ ሻǤ ൌ ͳ ʹ ǥ , ɡɞɟɫɶ Ki ɩɪɨɫɬɵɟ ɢɦɩɥɢɤɚɧɬɵ.
Ɉɩɪɟɞɟɥɟɧɢɟ. ȿɫɥɢ ɞɥɹ ɤɚɠɞɨɣ ɢɡ ɩɪɨɫɬɵɯ ɢɦɩɥɢɤɚɧɬ Ki ɜɵɩɨɥɧɹɟɬɫɹ
ɭɫɥɨɜɢɟ
n
Ki = ∨ K j ≠ 1͕
j=1
ɹɜɥɹɟɬɫɹ ɫɨɤɪɚɳɟɧɧɨɣ Ⱦ.ɇ.Ɏ. Ⱦɥɹ ɧɚɛɨɪɚ (0,0,0,0) ɡɧɚɱɟɧɢɟ ɢɦɩɥɢɤɚɧɬɵ തʹ തͶ
ɪɚɜɧɨ 1.
x 2 x 4 → ( x1 x 4 ∨ x1 x 2 ∨ x 2 x 3 x 4 ∨ x 1 x 3 x 4 ∨ x1 x 2 x 3 ) = 0 ,
ɬɨ ɟɫɬɶ ɢɦɩɥɢɤɚɧɬɚ തʹ തͶ ˒˓ˋː˃ˇˎˈˉˋ˕ˢˇ˓˖˗˖ːˍ˙ˋˋሺଵǡ ଶ ǡ ଷ ǡ ସ ሻ.
ɂɦɩɥɢɤɚɧɬɚ ͳ ʹ ɬɨɠɟ ɩɪɢɧɚɞɥɟɠɢɬ ɹɞɪɭ. Ⱦɥɹ ɧɚɛɨɪɚ (1,1,0,1)
x1 x 2 → ( x 2 x 4 ∨ x1 x 4 ∨ x 2 x 3 x 4 ∨ x 1 x 3 x 4 ∨ x1 x 2 x 3 ) = 0 .
Ⱦɪɭɝɢɟ ɢɦɩɥɢɤɚɧɬɵ ɹɞɪɭ ɧɟ ɩɪɢɧɚɞɥɟɠɚɬ.
f(0,0,0)=f(0,1,1)=f(1,0,0)=f(1,1,0)=1,
f(ଵ ǡ ଶǡ ଷ ሻ ൌ തଵ തଶ തଷ שതଵ ଶ ଷ שଵ തଶ തଷ שଵ ଶ തଷ .
70
തଵ തଶ തଷ തଵ ଶ ଷ ଵ തଶ തଷ ଵ ଶ തଷ
തଵ * *
ଵ തଷ * *
71
୧ ڰ 001 010 011 100 101 110
ଵ തଶ 0 0 0 1 1 0
ଵ തଷ 0 0 0 1 0 1
ଶ തଵ 0 1 1 0 0 0
ଶ തଷ 0 1 0 0 0 1
തଵ ଷ 1 0 1 0 0 0
തଶ ଷ 1 0 0 0 1 0
72
Ͳ ͳ Ͳ ͳ Ͳ ͳ
Ͳ ͳ ͳ ଶ ͳ ͳ Ͳ
ൌ ൮ ൲ ǡ ൌ ൮ ൲.
ͳ Ͳ ͳ ͳ Ͳ ͳ
ͳ ͳ Ͳ Ͳ ͳ ͳ
Ɂɚɩɢɲɟɦ Ʉ.ɇ.Ɏ., ɫɨɨɬɜɟɬɫɬɜɭɸɳɭɸ ɟɞɢɧɢɱɧɵɦ ɷɥɟɦɟɧɬɚɦ ɦɚɬɪɢɰɵ M2:
f=(1ޕ2ޕ3)(2ޕ4)(1ޕ3ޕ4),
ɡɞɟɫɶ 1, 2, 3, 4 – ɧɨɦɟɪɚ ɫɬɪɨɤ. ȼ Ʉ.ɇ.Ɏ. ɩɨɫɥɟ ɪɚɫɤɪɵɬɢɹ ɫɤɨɛɨɤ ɢ ɩɪɢɦɟɧɟɧɢɹ
ɡɚɤɨɧɚ AޕAB=A ɩɨɥɭɱɢɦ Ⱦ.ɇ.Ɏ.
f=(1ޔ2)(ޕ1ޔ4)(ޕ2ޔ4)(ޕ3ޔ4)(ޕ2ޔ3),
1ޔ2=തͳ ʹ ത͵ തͳ ʹ ͵ ൌതͳʹ ǡͳͶ ൌ തͳ ʹ ത͵ ͳ ʹ ത͵ ൌʹ ത͵,
2ޔ4=തͳ ʹ ͵ ͳ ʹ ത͵ ൌʹ ǡ͵Ͷ ൌ ͳ ʹ ത͵ ͳതʹ ͵ ൌͳ ,
2ޔ3=തͳ ʹ ͵ ͳ തʹ ͵ ൌ͵ ,
ɬɨ ɟɫɬɶ ɧɟɭɩɪɨɳɚɟɦɚɹ Ⱦ.ɇ.Ɏ.:
f=തͳ ʹ ʹ ത͵ ͳ ʹ ͵ .
Ɇɧɨɠɟɫɬɜɨ
ǡ ǥ
ͳ
ɐͳ ǥɐ
ൌሼሺȽͳ ǥȽ ሻ אǣȽͳ ൌɐͳ ǡǥǡȽ ൌɐ ሽ
ɧɚɡɵɜɚɟɬɫɹ ɝɪɚɧɹɦɢ n-ɦɟɪɧɨɝɨ ɟɞɢɧɢɱɧɨɝɨ ɤɭɛɚ. Ɂɞɟɫɶ ɐ אሼͲǡͳሽ, ɦɧɨɠɟɫɬɜɨ
{ͳ ǡǥǡ ሽ ɟɫɬɶ ɧɚɩɪɚɜɥɟɧɢɟ ɝɪɚɧɟɣ ɟɞɢɧɢɱɧɨɝɨ ɤɭɛɚ, k – ɪɚɧɝ, n–k ɪɚɡɦɟɪ ɝɪɚɧɟɣ.
Ʉɨɞɨɦ ɦɧɨɠɟɫɬɜɚ ɐǡͳǥɐ ͳ ǥ
ɧɚɡɵɜɚɟɬɫɹ ɜɟɤɬɨɪ ɞɥɢɧɨɣ n, ɡɚɞɚɧɧɵɣ ɜ ɜɢɞɟ:
ǡ ǥ
ͳ
ɀሺɐͳǥɐ
ሻǤ Ʉɨɨɪɞɢɧɚɬɵ ɜɟɤɬɨɪɚ ɛɭɞɭɬ ɀͳ ൌɐͳǡǥǡɀ ൌɐ ǡ ɨɫɬɚɜɲɢɟɟɫɹ ɤɨɨɪɞɢɧɚɬɵ
ɡɚɞɚɸɬ ɜ ɜɢɞɟ “–”. ɇɚɩɪɢɦɟɪ, ɀ ሺǡͳǡ͵ Ͳͳ )=(0−1−).
Ɇɧɨɠɟɫɬɜɨ ሺȽ ෨
Ⱦሻ ൌ ሼɀ אǢȽ୬
ǡ Ⱦ෨ ɜɟɪɲɢɧɵ
ɀ Ⱦ෨ሽሽ ɧɚɡɵɜɚɟɬɫɹ ɢɧɬɟɪɜɚɥ Ǥ Ƚ
ɤɭɛɚ ሺȽ Ⱦ෨ ሻǡ ɏሺȽ ǡ Ⱦ෨ ሻ ɦɟɪɚ ɱɢɫɥɨɜɨɝɨ ɢɧɬɟɪɜɚɥɚ.
75
Ɍɚɤ ɤɚɤ ଵ ଶ שଵ തଶ ൌ ଵ , ɬɨ ɦɚɤɫɢɦɚɥɶɧɵɦɢ ɝɪɚɧɹɦɢ ɛɭɞɭɬ {(1,1,1), (1,0,0)},
{(1,1,1), (0,1,1)} ɢ ɫɨɤɪɚɳɟɧɧɚɹ Ⱦ.ɇ.Ɏ.
f(ଵ ǡ ଶǡ ଷ ሻ ൌ ଵ שଶ ଷ .
Ʉɨɞɵ ɦɚɤɫɢɦɚɥɶɧɵɯ ɢɧɬɟɪɜɚɥɨɜ ɜ ɦɧɨɠɟɫɬɜɟ ɜɟɪɲɢɧ
{(1,1,1), (1,0,0)} (1,െǡ െ) (ଵ ǡ െǡ െ),
{(1,1,1), (0,1,1)} (െǡͳǡͳ) (െǡ ଶ ǡ ଷ ).
76
ɦɚɤɫɢɦɚɥɶɧɵɦɢ ɢɧɬɟɪɜɚɥɚɦɢ ɨɩɪɟɞɟɥɹɸɬɫɹ ɦɚɤɫɢɦɚɥɶɧɵɟ ɤɨɞɵ ɢ ɧɚ
ɨɫɧɨɜɚɧɢɢ ɤɨɞɨɜ ɩɢɲɟɬɫɹ ɫɨɤɪɚɳɟɧɧɚɹ Ⱦ.ɇ.Ɏ. Ɇɚɤɫɢɦɚɥɶɧɵɟ ɢɧɬɟɪɜɚɥɵ
ɨɛɪɚɡɭɸɬ ɦɧɨɠɟɫɬɜɨ {(0000), (0001), (0010), (0101), (0111), (1100), (1101),
(1111), (1001)}, ɦɚɤɫɢɦɚɥɶɧɵɟ ɤɨɞɵ ɨɛɪɚɡɭɸɬ ɦɧɨɠɟɫɬɜɨ {(000−), (00−0),
(−−01), (−1−1), (11−0)}. ɇɚ ɨɫɧɨɜɚɧɢɢ ɦɚɤɫɢɦɚɥɶɧɵɯ ɤɨɞɨɜ ɮɨɪɦɭɥɚ
ሺ ସ ሻ ൌ ሺͳͳͳͲͲͳͲͳͲͳͲͲͳͳͲͳሻ ൌ തͳ തʹ ത͵ തͳ തʹ തͶ ത͵ Ͷ ʹ Ͷ ͳ ʹ തͶ
ɟɫɬɶ ɫɨɤɪɚɳɟɧɧɚɹ Ⱦ.ɇ.Ɏ.
ɉɪɢɦɟɪ. ɇɚɩɢɲɢɬɟ ɧɚ ɨɫɧɨɜɚɧɢɢ ɡɚɞɚɧɧɨɣ ɬɚɛɥɢɰɵ ɦɟɬɨɞɨɦ
ɦɢɧɢɦɢɡɢɪɭɸɳɟɣ ɤɚɪɬɵ ɫɨɤɪɚɳɟɧɧɭɸ Ⱦ.ɇ.Ɏ. ɮɭɧɤɰɢɢ.
(000), (010) ֜ ሺͲͲሻ ֜ തͳ ത͵ ǡ
(011), (111) ֜ ሺͳͳሻ ֜ ʹ ͵ ǡ
(011), (010)֜ ሺͲͳሻ ֜ തͳ ʹ ,
(101), (111)֜ ሺͳͳሻ ֜ ͳ ͵
ሺത ଷ ሻ ൌ തͳ ത͵ ʹ ͵ തͳ ʹ ͳ ͵ .
77
Ɇɚɤɫɢɦɚɥɶɧɵɟ
ଵ ଶ ଷ ସ ହ ଼ ଽ
ɢɧɬɟɪɜɚɥɵ
1 ୩భ 1 1 0 0 0 0 0 0 0
2 ୩మ 1 0 1 0 0 0 0 0 0
3 ୩య 0 1 0 1 0 1 0 1 0
4 ୩ర 0 0 0 0 0 0 1 1 1
5 ୩ఱ 0 0 0 1 1 0 0 1 1
78
Ͷሻൌͳ തʹ Ͷ שതͳ തʹ ͵ שത͵ തͶ Ǣ
ͷሻൌത͵ Ͷ שതʹ Ͷ ͳשͶ ͵ ʹשതͶ Ǣ
ሻൌͳ ʹ ത͵ ͵שതͶ שതͳ Ͷ שതʹ Ͷ Ǣ
ሻൌത͵ Ͷ ͵ש ʹ ͳשതͶ שതͳ ͵ Ǣ
ͺሻൌͳ ʹ ത͵ שതͳ ʹ Ͷ ͵ ʹשതͶ ʹשത͵ തͶ ͳ ͵ ʹשǤ
Ɉɬɜɟɬ: 1) ɉɨ ɡɚɤɨɧɭ ɫɤɥɟɢɜɚɧɢɹ
D=തଵ തଶ ଵ തଶ ସ ଶ തଷ ସ തଶ ସ ଵ തଷ ସ തଵ തଷ ସ തଷ ସ Ǥ
ɉɨ ɡɚɤɨɧɭ ɢɫɤɥɸɱɚɧɢɹ 1) D=തଵ തଶ തଶ ସ തଷ ସ Ǣ
2) D=ଵ തଶ ଷ ଵ തଶ തସ തଵ ଶ തସ തଵ തଷ തସ തଶ തଷ തସ Ǣ
3) ൌ ଵ ଶ ଷ ସ ;
4)ൌതଷ തସ ଵ തଶ ସ തଶ ଷ ସ തଵ തଶ ଷ ଵ തଶ തଷ തଵ തଶ തସ Ǥ
79
5. ɇɚɩɢɲɢɬɟ ɦɟɬɨɞɨɦ ɦɚɤɫɢɦɚɥɶɧɵɯ ɢɧɬɟɪɜɚɥɨɜ ɫɨɤɪɚɳɟɧɧɭɸ Ⱦ.ɇ.Ɏ. ɢɡ
ɦɧɨɠɟɫɬɜɚ :
ͳሻ ܽg ൌ ሺͳͳͳͳͲͳͲͲሻǢ ʹሻܽg ൌ ሺͲͳͲͳͲͲͳͳሻǢ
͵ሻ ܽg ൌ ሺͳͳͲͳͲͲͳͳሻǢ Ͷሻܽg ൌ ሺͳͳͳͲͲͳͳͳሻ;
ͷሻ ܽg ൌ ሺͳͳͳͳͳͲͲͲͲͳͲͲͳͳͲͲሻǢ
ሻ ܽg ൌ ሺͲͲͲͳͲͳͳͳͳͳͳͲͳͳͳͳሻ
ሻ ܽg ൌ ሺͳͳͳͲͲͳͳͲͲͲͲͲͲͳͳͳሻǢ
ͺሻ ܽg ൌ ሺͳͳͳͳͳͳͳͳͳͳͳͳͳͲͲͲሻǤ
Ɉɬɜɟɬ: ͳሻതͳ തʹ ͵ Ǣ ʹሻതͳ͵ ʹ ͵ ͳ ʹ Ǣ ͵ሻതͳതʹ തͳ ͵
ʹ ͵ ͳ ʹ Ǣ Ͷሻതͳ തʹ തͳ ͵ ʹ ͵ ͳ ͵ തͳ ത͵ തʹ ത͵ Ǣ
5) തͳ തʹ തͳ ത͵ തͶ ʹ ത͵ തͶ ͳ ʹ ത͵ ͳ ത͵ Ͷ തʹ ത͵ Ͷ .
9. ɍɩɪɨɫɬɢɬɟ Ⱦ.ɇ.Ɏ:
ͳሻൌשതത; ש
ʹሻൌതതשതതשതത
ഥ שതത
ഥש
തതത;
͵ሻൌതשതשששǢ
Ͷሻൌതשש തതതששതשǢ
ͷሻൌש ഥ שതששതതǢ
ሻൌതത
ഥ שതതഥ ש ഥ שതതതǢ
തതതതשത
ሻൌതשതששǢ
ͺሻൌשש തതതשതǤ
82
തˋҧ ɤɨɧɝɪɭɷɬɧɵɟ, ɚ xy ɢ zz ɧɟ ɤɨɧɝɪɭɷɧɬɧɵɟ. ȿɫɥɢ ɜ ɡɚɞɚɧɧɨɦ ɤɥɚɫɫɟ
ɮɭɧɤɰɢɣ ɦɧɨɠɟɫɬɜɨ ɮɭɧɤɰɢɣ ɩɨɩɚɪɧɨ ɤɨɧɝɪɭɷɧɬɧɵ, ɬɨ ɤɥɚɫɫ ɮɭɧɤɰɢɣ ɛɭɞɟɬ
ɡɚɦɤɧɭɬɵɦ.
ȼ ɦɧɨɠɟɫɬɜɟ ɛɭɥɟɜɵɯ ɮɭɧɤɰɢɣ ɟɫɬɶ ɩɹɬɶ ɡɚɦɤɧɭɬɵɯ ɤɥɚɫɫɨɜ. ɗɬɨ
ɫɥɟɞɭɸɳɢɟ ɤɥɚɫɫɵ.
1. Ʉɥɚɫɫ ɛɭɥɟɜɵɯ ɮɭɧɤɰɢɣ, ɫɨɞɟɪɠɚɳɢɯ ɬɨɠɞɟɫɬɜɟɧɧɵɣ ɧɨɥɶ. ȿɫɥɢ ɜ
ɦɧɨɠɟɫɬɜɟ ɛɭɥɟɜɵɯ ɮɭɧɤɰɢɣ ɟɫɬɶ f(0,0,...,0)=0, ɬɨ ɤɥɚɫɫ ɮɭɧɤɰɢɣ f(ଵ ǡ ଶ ǡ ǥ ǡ ୬ ሻ
ɧɚɡɵɜɚɟɬɫɹ ɫɨɞɟɪɠɚɳɢɦ ɬɨɠɞɟɫɬɜɟɧɧɵɣ ɧɨɥɶ ɢ ɷɬɨɬ ɤɥɚɫɫ ɨɛɨɡɧɚɱɚɟɬɫɹ Ͳ Ǥ
ͳ
Ɇɨɳɧɨɫɬɶ ɷɬɨɝɨ ɤɥɚɫɫɚȁͲ ȁ ൌ ʹʹ .
ʹ
ሾ ሿ ൌ ˋ ൌ ሼͲǡ ǡ ଵ ْ ଶ ሽ.
ɉɪɢɦɟɪ. ɂɫɫɥɟɞɭɣɬɟ, ɩɪɢɧɚɞɥɟɠɚɳɢɬ ɢɥɢ ɧɟɬ ɦɧɨɠɟɫɬɜɭ ɮɭɧɤɰɢɹ
ሺǡ ǡ ሻ ൌ ൫ሺሻ ՜ ሺȁሻ൯ ՝ ൫ሺ̱ሻ ՜ ൯Ǥ
ሺͲǡͲǡ ǥ ǡͲሻ ൌ ሺଵ ሺͲǡͲǡ ǥ ǡͲሻǡ ଶ ሺͲǡͲǡ ǥ ǡͲሻǡ ǥ ǡ ୫ ሺͲǡͲǡ ǥ ǡͲሻሻ ൌൌ ሺͲǡ Ͳǡ ǥ ǡ Ͳሻ ൌ Ͳ.
83
3. Ʉɥɚɫɫ ɛɭɥɟɜɵɯ ɮɭɧɤɰɢɣ, ɞɜɨɣɫɬɜɟɧɧɵɯ ɫɟɛɟ. ȼ ɦɧɨɠɟɫɬɜɟ ɛɭɥɟɜɵɯ
ɮɭɧɤɰɢɣ f(ଵ ǡ ଶ ǡ ǥ ǡ ୬ ሻ ɮɭɧɤɰɢɢ ɜɢɞɚ כሺͳǡʹ ǡǥǡ ሻ ൌ ሺ തതതതതതതതതതതതതതതത
ത ͳ ǡതʹ ǡǥǡത ሻ ࡄ ɧɚɡɵɜɚɸɬɫɹ
ɞɜɨɣɫɬ¬ɜɟɧɧɵɦɢ ɞɥɹ ɮɭɧɤɰɢɢ ሺͳ ǡ ʹ ǡ ǥ ǡ ሻ.
ȿɫɥɢ ɜɵɩɨɥɧɹɟɬɫɹ ɭɫɥɨɜɢɟ
തതതതതതതതതതതതതതതത
כሺͳ ǡʹ ǡǥǡ ሻ ൌ ሺ
ത ͳ ǡതʹ ǡǥǡത ሻ ൌ ሺଵ ǡ ଶ ǡ ǥ ǡ ୬ ሻ,
ɬɨɝɞɚ ɛɭɥɟɜɚɹ ɮɭɧɤɰɢɹ ɧɚɡɵɜɚɟɬɫɹ ɞɜɨɣɫɬɜɟɧɧɨɣ ɫɟɛɟ ɢ ɨɛɨɡɧɚɱɚɟɬɫɹ S.
Ɇɨɳɧɨɫɬɶ ɷɬɨɝɨ ɤɥɚɫɫɚ |S|=ඥʹଶ .
ሾሿ ൌ ǡ ሼതǡ ǡ ଶ }= S.
Ɍɟɨɪɟɦɚ. ȿɫɥɢ ǡ ǡ ǡ ǥ ǡ ܁ א ܕɢ
g=ሺǡ ǡ ǡ ǥ ǡ ܕሻ,
כ כ
ɬɨɝɞɚ ൌ ሺ ǡ ǥ ǡ א) ܕS .
כ כ
85
ȿɫɥɢ ɜɵɩɨɥɧɹɟɬɫɹ ɭɫɥɨɜɢɟ ଵ ଶ , ɬɨ ɜɬɨɪɨɝɨ ɲɚɝɚ ɧɟɬ.
2) Ɏɭɧɤɰɢɢ ɞɟɥɹɬɫɹ ɩɨɩɨɥɚɦ ɜ ɜɢɞɟ
ɮɭɧɤɰɢɹ ଶ ൌ ሺȽ Ƚଵ Ƚଶ Ƚଷ ሻ˅˅ˋˇˈଷ ൌ ሺȽȽଵ ሻǡ ସ ൌ ሺȽଶȽଷ ),
ɮɭɧɤɰɢɹ ଶ ൌ ሺȽସ ȽହȽ Ƚሻ˅˅ˋˇˈହ ൌ ሺȽସ Ƚହሻǡ ൌ ሺȽȽ).
ȿɫɥɢ ɭɞɨɜɥɟɬɜɨɪɹɟɬɫɹ ɭɫɥɨɜɢɟ ଷ ସ ˋହ , ɬɨ ɮɭɧɤɰɢɹ ɦɨɧɨɬɨɧɧɚɹ.
ɇɚɩɪɢɦɟɪ, ɞɥɹ ɮɭɤɰɢɢ f=(00011110)
ଵ ൌ ሺͲͲͲͳሻǡ ଶ ൌ ሺͳͳͳͲሻǡ ଷ ൌ ሺͲͲሻǡ ସ ൌ ሺͲͳሻǡ ହ ൌ ሺͳͳሻǡ =(10).
Ɂɞɟɫɶ ଷ ସ ǡ ହ ɢ ɮɭɧɤɰɢɹ ɧɟɦɨɧɨɬɨɧɧɚɹ.
Ⱦɥɹ ɮɭɧɤɰɢɢ f(00110111) ଵ ൌ ሺͲͲͳͳሻǡ ଶ =(0111) ଵ ଶ ǡ ଷ ൌ ሺͲͲሻǡ ସ ൌ
ሺͳͳሻǡ ହ ൌ ሺͲͳሻǡ ൌ ሺͳͳሻˋଷ ସ ǡ ହ , ɬɨ ɮɭɧɤɰɢɹ ɦɨɧɨɬɨɧɚɹ.
ȿɫɥɢ ɮɭɧɤɰɢɹ ɡɚɞɚɧɚ ɜ ɜɢɞɟ ɮɨɦɭɥɵ, ɬɨ ɟɟ ɧɭɠɧɨ ɪɚɜɧɨɫɢɥɶɧɵɦɢ
ɩɪɟɨɛɪɚɡɨɜɚɧɢɹɦɢ ɩɪɢɜɟɫɬɢ ɤ ɦɨɧɨɬɨɧɧɵɦ ɨɩɟɪɚɰɢɹɦ (ר, )ש.
ɉɪɢɦɟɪ. ɉɪɨɜɟɪɢɦ ɭɫɥɨɜɢɟ ɦɨɧɨɬɨɧɧɨɫɬɢ ɮɭɧɤɰɢɢ ൌ שത שതതz.
ൌ שതሺ שതሻ ൌ שതሺሺ שതሻሺ שሻሻ=
= שതሺ שሻ ൌ ሺ שതሻሺ ש שሻ ൌ ש ש.
Ɍɚɤ ɤɚɤ ɨɩɟɪɚɰɢɹ ɞɢɡɴɸɧɤɰɢɹ ɦɨɧɨɬɨɧɧɚɹ, ɮɭɧɤɰɢɹ ɛɭɞɟɬ ɦɨɧɨɬɨɧɧɨɣ.
ɉɪɢɦɟɪ. Ɍɚɤ ɤɚɤ
ൌ oሺoሻ ൌ ത∨(തሻ ൌ ሺതതሻሺതሻ ൌ തത ൌ തതതതത =(1110),
ɬɨ ɮɭɧɤɰɢɹ ɦɨɧɨɬɨɧɧɚɹ.
Ʌɟɦɦɚ. ɂɡ ɧɟɦɨɧɨɬɨɧɧɨɣ ɛɭɥɟɜɨɣ ɮɭɧɤɰɢɢ ሺଵǡʹ ǡ ǥ ǡ ୬ ሻ ɫ ɩɨɦɨɳɶɸ
ɚɪɝɭɦɟɧɬɨɜ 0,1,x ɦɨɠɧɨ ɩɨɥɭɱɢɬɶ ɧɟɦɨɬɨɧɧɭɸ ɛɭɥɟɜɭɸ ɮɭɧɤɰɢɸ ത.
ɇɚɩɪɢɦɟɪ,
f(ଵ ǡଶ ሻ ൌ ଵ ଶ ሺሻ ൌ ͳ ൌ ത,
f(ଵ ǡଶ ሻ ൌ ଵ ̱ଶ ሺሻ ൌ ̱Ͳ ൌ ത,
ሺଵ ǡଶ ሻ ൌ ଵ ՜ ଶ ሺሻ ൌ ՜ Ͳ ൌ ത.
5. Ʉɥɚɫɫ ɥɢɧɟɣɧɵɯ ɛɭɥɟɜɵɯ ɮɭɧɤɰɢɣ. ȿɫɥɢ ɛɭɥɟɜɚɹ ɮɭɧɤɰɢɹ ɢɦɟɟɬ ɜɢɞ
ሺଵ ǡʹ ǡ Ǥ Ǥ Ǥ ǡ ୬ ሻ ൌ ଵ ଵ ଶ ଶ Ǥ Ǥ Ǥ ୬ ୬ ,
ɬɨ ɮɭɧɤɰɢɹ ሺଵǡʹ ǡ ǥ ǡ ୬ ሻ ɧɚɡɵɜɚɟɬɫɹ ɥɢɧɟɣɧɨɣ ɢ ɨɛɨɡɧɚɱɚɟɬɫɹ L.
ɇɚɩɪɢɦɟɪ, ɮɭɧɤɰɢɹ ̱ ൌ തതതതതതത ْ ൌ ͳ ْ ْ ˋˎˋത ൌ ͳ ْ ɥɢɧɟɣɧɚɹ,
തതതതത
ɮɭɧɤɰɢɹ ՝ ൌ ٿൌ ͳ ْ ɧɟɥɢɧɟɣɧɚɹ.
Ɍɟɨɪɟɦɚ. Ɏɭɧɤɰɢɹ, ɩɨɥɭɱɟɧɧɚɹ ɢɡ ɫɭɩɟɪɩɨɡɢɰɢɢ ɮɭɧɤɰɢɣ ǡ ǡ ǡ ǥ ǡ ۺ א ܕ
ሺܠ ǡ ǡ ǥ ǡ ܖܠሻ ൌ ሺ ǡ ǡ ǥ ǡ ) ܕ
ɬɨɠɟ ɥɢɧɟɣɧɚɹ.
Ʌɟɦɦɚ. ɂɡ ɧɟɥɢɧɟɣɧɨɣ ɛɭɥɟɜɨɣ ɮɭɧɤɰɢɢ ሺଵ ǡʹ ǡ Ǥ Ǥ Ǥ ǡ ୬ ሻ˔˒ˑˏˑ˜˟ˡͲǡ ͳǡ തǡ ɢ
ɨɬɪɢɰɚɧɢɹ ɮɭɧɤɰɢɢ ɦɨɠɧɨ ɩɨɥɭɱɢɬɴ ɧɟɥɢɧɟɣɧɭɸ ɤɨɧɴɸɧɤɰɢɢ.
ɉɪɢɦɟɪ. ȿɫɥɢ ɜ ɮɭɧɤɰɢɢ
f(ଵ ǡଶ ǡ ଷ ሻ ൌ ଵ ଶ ଷ ْଵ ଷ ْ ଶ ଷ ْ1,
86
ଷ ൌ ͳǡ ˅ˏˈ˔˕ˑ˃˓ˆ˖ˏˈː˕ˑ˅ଵ ˋଶ ˒ˑ˔˕˃˅ˋ˕˟തଵ ˋതଶ , ɬɨ ɩɨɥɭɱɢɦ
f(ଵ ǡଶ ǡ ଷ ሻ ൌ തଵ തଶ ْതଵ ǡْ തଶ ْ1=
=(ሺͳ ْ ଵ ሻሺͳ ْ ଶ ሻ ْ ሺͳ ْ ଵ ሻ ْ ሺͳ ْ ଶ ሻሻ ْ ͳ=
=1ْ ଵ ْ ଶ ْ ଵ ଶ ْ ͳ ْ ଵ ْ ͳ ْ ଶ ْ ͳ ൌ ଵ ଶ .
ɉɪɢɦɟɪ. ɂɡ ɮɭɧɤɰɢɢ ሺǡ ሻ ൌ ْ Ƚ ْ Ⱦ ْ ɀ ɧɟɥɢɧɟɣɧɭɸ ɤɨɧɴɸɧɤɰɢɸ
ɦɨɠɧɨ ɩɨɥɭɱɢɬɴ ɜ ɫɥɟɞɭɸɳɟɦ ɜɢɞɟ:
ɗɤɜɢɜɚɥɟɧɬɧɚ
Ƚ Ⱦ ɀ ሺǡ ሻ Ɋɟɚɥɢɡɚɰɢɹ
ɹ ɮɭɧɤɰɢɹ
0 0 0 ൌ ሺǡ ሻ
0 0 1 ͳ (xy) ൌ ሺǡ ሻ
0 1 0 ൌ ሺǡ ሻ
0 1 1 ͳ ሺሻ ൌ ሺǡ ሻ
1 0 0 ൌ ሺǡ ሻ
1 0 1 ͳ ሺ) ൌ ሺǡ ሻ
1 1 0 ൌ ሺǡ ሻ
1 1 1 ͳ ሺሻ ൌ ሺǡ ሻ
ଵ S M L
ଵ + − − + −
ଶ − + − − +
ଵ S M L
ଵ + + − + −
ଶ + + − + −
ଷ + − − − +
ସ + + + + −
ɋɢɫɬɟɦɚ ɩɨɥɧɚɹ.
ɉɪɢɦɟɪ. ɉɨɤɚɠɢɬɟ, ɱɬɨ ɫɢɫɬɟɦɚ ɩɨɥɧɚɹ
A={ଵ ൌ Ͳǡ ଶ ൌ ͳǡ ଷ ൌ ͳ ʹ ǡ ସ ൌ ͳ ʹ ͵ ሽ.
T0 T1 L S M
ଵ + − + − +
ଶ − + + − +
ଷ + + − − +
ସ + + + + −
91
Ɉɬɜɟɬ: 1) {0,1,ǡ തሽǢ ʹሻሼǡ ǡ ሽǢ ͵ሻሼͳǡ ǡ ̱ǡ };
4) {ǡ ሽǢ ͷሻሼǡ തǡ ǡ ͳ}.
92
6. ȼɦɟɫɬɨ ɫɢɦɜɨɥɚ "−" ɧɚɩɢɲɢɬɟ 0 ɢɥɢ 1, ɬɚɤ, ɱɬɨɛɵ ɜɟɤɬɨɪ ɛɵɥ
ɞɜɨɣɫɬɜɟɧɧɵɣ ɫɟɛɟ:
Ƚ ൌ ሺͳ െ Ͳ െሻǢ ʹሻȽ
1) ൌ ሺെͲͳ െሻǢ
ൌ ሺͲͳ െ െሻǢ Ͷሻ
͵ሻȽ Ƚ ൌ ሺͲͳ െ Ͳ െ െ െ െሻǢ
ൌ ሺെ െ Ͳͳ െ െͳͳሻǤ
ͷሻȽ
Ɉɬɜɟɬ: 1) (1100), 2) (0011), 3) (0101), 4) (01101001),
5) (00010111).
7. ȼɦɟɫɬɨ ɫɢɦɜɨɥɚ "−" ɧɚɩɢɲɢɬɟ 0 ɢɥɢ 1 ɬɚɤ, ɱɬɨɛɵ ɜɟɤɬɨɪ ɛɵɥ ɥɢɧɟɣɧɵɦ.
ɇɚɩɢɲɢɬɟ ɮɭɧɤɰɢɸ ɜ ɜɢɞɟ ɦɧɨɝɨɱɥɟɧɚ:
ͳሻܽ ൌ ൫ͳͲȂ ͳ൯Ǣ ʹሻܽ ൌ ሺͲȂ ͳͳሻǢ
͵ሻܽ ൌ ൫ͳͲͲȂ ͲȂ Ȃ ൯Ǣ Ͷሻܽ ൌ ሺെͲͲͳȂ Ȃ ͳȂ ሻǢ
ͷሻܽ ൌ ൫ͳȂ ͳͲͳȂ Ȃ Ȃ ൯Ǣ ሻܽ ൌ ሺȂ ͲȂ ͳȂ Ȃ ͲͲሻǢ
ሻܽ ൌ ൫ͳͳȂ ͲȂ Ȃ Ȃ ͳ൯Ǣ ͺሻܽ ൌ ሺͳȂ Ȃ ͳͳȂ ͲȂ ሻǢ
ͻሻܽ ൌ ൫Ȃ Ȃ ͳͲȂ Ȃ Ȃ Ȃ ͲȂ Ȃ ͳȂ ͳͲͲ൯Ǣ ͳͲሻܽ ൌ ሺͳȂ Ȃ Ȃ Ȃ Ȃ Ȃ Ȃ Ȃ Ȃ Ȃ ͲȂ ͳͳͲሻǢ
ͳͳሻܽ ൌ ሺȂ ͳͳȂ ͳȂ Ȃ Ȃ ͳȂ Ȃ Ȃ Ȃ Ȃ Ȃ ͲሻǢ ͳʹሻܽ ൌ ሺȂ Ȃ Ȃ ͲȂ ͲͲȂ ͳȂ ͲȂ Ȃ Ȃ Ȃ Ȃ ሻǢ
ͳ͵ሻܽ ൌ ሺȂ ͳͲͲȂ Ȃ Ȃ ͳȂ ͳȂ Ȃ Ȃ Ȃ Ȃ Ȃ ሻǢ ͳͶሻܽ ൌ ሺȂ Ȃ Ȃ ͳȂ ͳͳȂ Ȃ ͳͳȂ ͳȂ ͲȂ ሻǢ
ͳͷሻܽ ൌ ሺȂ ͳȂ Ȃ Ȃ Ȃ Ȃ Ȃ ͲͲȂ ͳȂ ͳȂ Ȃ ሻǤ
Ɉɬɜɟɬ: 1)
Ƚ ൌ ሺͳͲͲͳሻǡ ൌ ଵ ଶ ͳǢ ʹሻ
ȽሺͲͲͳͳሻǡ ൌ ଵ ;
Ƚ ൌ ሺͳͲͲͳͲͳͳͲሻǡ ൌ ଵ ଶ ଷ ͳ;
3) ɢ 4)
Ƚ ൌ ሺͳͲͳͲͳͲͳͲሻǡ ൌ ଷ ͳǢ ሻ
5) Ƚ ൌ ሺͲͲͳͳͳͳͲͲሻǡ ൌ ଵ ଶ Ǣ
Ƚ ൌ ሺͳͳͲͲͲͲͳͳሻǡ ൌ ଵ ଶ ͳǢ ͺሻ
7) Ƚ=(10011001),
ൌ ଶ ଷ ͳǢ ͻሻ
Ƚ ൌ ሺͳͲͳͲͲͳͲͳͲͳͲͳͳͳͳͲሻǡ ൌ ଵ ଶ ସ ͳ;
10) Ƚ ൌ ሺͳͲͲͳͳͲͲͲͲͳͳͲͲͳͳͲሻǡ ൌ ଵ ଷ ସ ͳ.
ͳሻൌ՜Ǣ ʹሻൌ՜തതതതതതതǢ
͵ሻൌതሺ̱ሻǢͶሻൌשതതשǢ
ͷሻൌሺשതതሻשതሺതשതሻǢሻൌതשതǢ
ሻൌሺሺ՜ሻሺ՜ሻሻ̱ǢͺሻൌതതǢ
ͻሻൌሺǡǡሻതതതǢͳͲሻൌሺשሻǢͳͳሻൌሺשሻْതǢ
ͳʹሻൌሺשതതሻْሺْሻǢ ͳ͵ሻൌْሺത തതതതሻْሺשሻǢ
ͳͶሻൌሺْതതሻשሺതْതሻǢ ͳͷሻൌሺതതത̱തሻ̱ሺത̱തሻǤ
Ɉɬɜɟɬ: 1), 4), 6), 10) בǢ ʹሻǡ ͵ሻǡ ͷሻǡ ሻǡ ͺሻǡ ͻሻ אL.
93
9. ɂɫɫɥɟɞɭɣɬɟ ɥɢɧɟɣɧɨɫɬɶ ɮɭɧɤɰɢɢ f, ɡɚɞɚɧɧɨɣ ɜ ɜɟɤɬɨɪɧɨɦ ɜɢɞɟ:
ͳሻ ܽg ൌ ሺͳͲͲͳሻǢ ʹሻ ܽg ൌ ሺͳͳͲͳሻǢ
͵ሻ ܽg ൌ ሺͳͲͲͳͲͳͳͲሻǢ Ͷሻ ܽg ൌ ሺͳͳͲͲͲͲͳͳሻǢ
ͷሻ ܽg ൌ ሺͳͲͳͲͲͳͲͳሻǢ ሻ ܽg ൌ ሺͳͲͳͲͲͳͳͲሻǢ
ሻ ܽg ൌ ሺͳͳͲͲͳͲͲͳͲͳͳͲͳͲͲͳሻǢ ͺሻ ܽ g ൌ ሺͲͳͳͲͳͲͲͳሻǢ
ͻሻ ܽg ൌ ሺͳͲͲͳͲͳͳͲͲͳͳͲͳͲͲͳሻǢ ͳͲሻ ܽg ൌ ሺͲͳͳͲͳͲͲͳͲͳͳͲͳͲͲͳሻǢ
ͳͳሻ ܽg ൌ ሺͳͲͳͲͲͳͲͳͳͲͲͳͳͳͲͲሻǢ ͳʹሻ ܽg ൌ ሺͳͲͳͲͲͳͲͳͲͳͲͳͳͲͳͲሻǢ
ͳ͵ሻ ܽg ൌ ሺͳͲͳͲͲͳͳͲͲͳͳͲͲͳͲͳሻǢ ͳͶሻ ܽg ൌ ሺͲͲͳͳͳͳͲͲͳͳͲͲͲͲͳͳሻǢ
ͳͷሻ ܽg ൌ ሺͳͲͲͳͳͲͲͳͲͳͳͲͲͳͳͲሻǤ
Ɉɬɜɟɬ: 1), 3), 5), 7), 8), 9), 10) אǢ ʹሻǡ Ͷሻǡ ሻ בL.
94
ሻൌͳ ՜ሺʹ ՜͵ ሻǢ
ͺሻൌሺͳ തʹ שതͳ ʹ ͵ ሻْഥͳ ʹ ത͵ Ǣ
ͻሻൌሺͳ തʹ ʹשത͵ ͵שതͳ ሻǢͳͲሻܽg ൌ ሺͳͲͲͳͳͲͳͲሻǢ
ͳͳሻܽg ൌ ሺͳͲͲͳͲͳͳͲͲͳͳͲͳͲͲͳሻǢ
ͳʹሻܽg ൌ ሺͳͳͳͲͳͲͲͳͳͲͲͳͲͳͳͳሻǢ
ͳ͵ሻܽg ൌ ሺͳͳͲͳͳͳͳͲͲͳͳͲͳͲͳͳሻǢ
ͳͶሻܽg ൌ ሺͳͳͲͲͲͲͳͳͲͲͳͳͳͳͲͲሻǢ
ͳͷሻܽg ൌ ሺͲͳͳͳͳͲͳͳͳͳͳͳͳͳͲͲሻǤ
Ɉɬɜɟɬ: ɜ ɩɪɢɦɟɪɚɯ 1), 4), 7), 9) ɱɢɫɥɨ ɧɭɥɟɣ ɪɚɜɧɨ 2 ɢɥɢ ɦɟɧɶɲɟ 2, ɩɨɷɬɨɦɭ ɢɯ
ɧɟɥɶɡɹ ɩɪɢɜɟɫɬɢ ɤ ɜɢɞɭ xy;
ഥ തǡ ͳሻ ൌ Ǣ ͵ሻǡ ͺሻǡ ͳͳሻ א.
2) ሺǡ ǡ ሻ ൌ ሺǡ
Ɉɬɜɟɬ: 1) Ɍɚɤ ɤɚɤ ɮɭɧɤɰɢɸ x1⊕x2 ɜɫɟɝɞɚ ɦɨɠɧɨ ɩɨɥɭɱɢɬɶ ɢɡ ɮɭɧɤɰɢɢ ɜɢɞɚ
୧భ ʹ ǥ ͳ, ɬɨ ɫɢɫɬɟɦɚ ɩɨɥɧɚɹ ɢ ɛɚɡɢɫɧɚɹ; 2)-5) ɢ 7)-9) ɛɚɡɢɫɧɵɟ ɫɢɫɬɟɦɵ;
6) ɢ 10) ɧɟ ɹɜɥɹɸɬɫɹ ɛɚɡɢɫɧɵɦɢ ɫɢɫɬɟɦɚɦɢ.
13. ɇɚɩɢɲɢɬɟ ɱɢɫɥɨ ɮɭɧɤɰɢɢ ሺ ୬ ሻ ɩɪɢɧɚɞɥɟɠɚɳɢɯ ɦɧɨɠɟɫɬɜɭ {A}:
ͳሻൌͲ ͳתǢ ʹሻൌͲ ͳǢ ͵ሻൌͲ תǢͶሻൌͳ תǢ
ͷሻൌͲ Ǣሻൌ̳ͳ Ǣ
ሻൌሺ ͳሻתǢͺሻൌת ͳתǢ
ͻሻൌ ͲǢͳͲሻൌሺሻ̳ͳ Ǣ
ͳͳሻൌሺ̳Ͳ ሻתǢͳʹሻൌ ͲתǢ
ͳ͵ሻൌሺ Ͳתሻ ͳǢͳͶሻൌሺתሻ̳ͳ Ǣ
ͳͷሻൌሺͲ ̳ͳ ሻתǢͳሻൌሺͲ ̳ͳ ሻתǢ
ͳሻൌሺሻ ͳתǢͳͺሻൌሺͳ ͲሻתǢ
ͳͻሻൌͲ ת ͳתǢʹͲሻൌሺͲ ת ͳתሻ̳Ǣ
ʹͳሻൌሺתሻ̳Ͳ Ǣʹʹሻൌሺתሻ̳ሺͲ ͳתሻǢ
ʹ͵ሻൌሺתሻ̳ሺͲ ͳሻǢʹͶሻൌሺ̳Ͳ ሻ ͳתǢ
95
ʹͷሻ ൌሺͲ ͳሻǢʹሻൌሺ Ͳתሻ̳ͳ Ǣ
ʹሻ ൌሺͲ ሻǢʹͺሻൌת ͲתǢ
ʹͻሻ ൌ̳ሺͲ ͳሻǢ͵ͲሻൌሺሺͲ ͳሻሻתǢ
͵ͳሻ ൌ̳Ǣ͵ʹሻൌ̳Ǣ
͵͵ሻ ൌሺ̳ሻ ͳתǢ͵Ͷሻൌሺሺ̳ሻ̳Ͳ ሻ̳ͳ Ǣ
͵ͷሻ ൌሺሺתሻ̳Ͳ ሻ̳ͳ Ǣ͵ሻൌתሺͳ ̳ሻǢ
͵ሻ ൌሺתሻ̳ሺͲ ͳתሻǢ͵ͺሻൌሺ Ͳתሻሺ ͳתሻǢ
͵ͻሻ ൌሺ Ͳתሻ̳ͳ ǢͶͲሻൌሺ ͳת Ͳתሻ̳Ǣ
Ͷͳሻ ൌሺͲ ת ͳתሻ̳ǢͶʹሻൌͲ ͳǢ
Ͷ͵ሻ ൌͲ ͳǢͶͶሻൌͲ ͳǤ
Ɉɬɜɟɬ: Ɉɛɨɡɧɚɱɢɦ
k
3 k −1 k k
k−2
2 k
−1
k
−1 22 +
ʹ୬ ൌ ǣͳሻ 2 Ǣ ʹሻ 4 Ǣ ͵ሻǢ Ͷሻ 2 2 Ǣ ͷሻ 2 2
+ k Ǣ ሻǢ ሻ 2 Ǣ ͺሻ 2 Ǣ 9)
(2 + k)
k
−1 k 1 k / 2−1
2 k −1 + 2 2
+
2; 10) 2 .
15. Ⱦɨɤɚɠɢɬɟ:
ͳሻ ሾሼשǡْሽሿൌͲ Ǣ ʹሻሾሼשǡ̱ሽሿൌͳ Ǣ
͵ሻ ሾሼǡ̱ሽሿൌͳ Ǣ ͶሻሾሼْሽሿൌͲ Ǣ
ͷሻ ሾሼǡْْሽሿൌͲ ͳתǢ ሻሾሼْْሽሿൌͲ ͳתǢ
ሻ ሾሼْሽሿൌ ͲתǢ ͺሻሾሼ̱ሽሿൌ ͳתǢ
ͻሻ ሾሼْْሽሿൌ ͲתתǢ
ͳͲȗ ሻሾሼሺǡǡሻǡْْሽሿൌͲ תǢ
ͳͳȗ ሻሾሼሺതǡǡሻሽሿൌͳ תǢͳʹሻሾሼͳሽሿൌתǢ
ͳ͵ሻ ሾሼǡሺǡǡതሻሽሿൌͲ ͳתǢ
ͳͶሻ ሾሼשǡሺǡതǡሻሽሿൌͲ ͳתǢ
ͳͷሻ ሾሼሺǡǡሻǡْሽሿൌͲ Ǥ
19. ɉɪɨɜɟɪɶɬɟ, ɱɬɨ ɞɥɹ ɡɚɞɚɧɧɵɯ ɧɟɦɨɧɨɬɨɧɧɵɯ ɮɭɧɤɰɢɣ ɟɫɥɢ ɞɥɹ ɞɜɭɯ
ɫɨɫɟɞɧɢɯ ɧɚɛɨɪɨɜ Ƚ ൏ Ⱦ ෩ ǡ ˕ˑሺȽ
ሻ ሺȾ෨ሻ:
ͳሻൌͳ ʹ ͵ שതͳ ʹ ሻǢʹሻൌͳ ʹ ͵ Ǣ
͵ሻൌͳ ʹ ͵ Ͷሻൌͳ ʹשത͵ ሻǢ
ͷሻൌͳ ͵ ʹ Ͷ Ǣሻൌሺͳ ʹ Ͷ ՜ʹ ͵ ሻͶ Ǥ
20. ɇɚɩɢɲɢɬɟ ɜɦɟɫɬɨ ɫɢɦɜɨɥɚ "−" 0 ɢɥɢ 1, ɬɚɤ ɱɬɨɛɵ ɜɟɤɬɨɪ ɫɬɚɥ
97
ɦɨɧɨɬɨɧɧɵɦ ɢ ɧɚɣɞɢɬɟ ɱɢɫɥɨ ɬɚɤɢɯ ɜɟɤɬɨɪɨɜ:
ͳሻ ɀʹ ൌሺͲȂሻǢ ʹሻ ɀʹ ൌሺȂȂሻǢ
͵ሻ ɀͶ ൌሺȂͲͲȂሻǢ Ͷሻ ɀͶ ൌሺȂͳͲȂሻǢ
ͺ
ͷሻ ɀ ൌሺȂȂȂȂȂͲͲȂሻǢ ሻ ɀͺ ൌሺȂȂȂͳȂȂͲȂሻǢ
ͺ
ሻ ɀ ൌሺȂͳȂȂͲȂȂȂሻǢ ͺሻ ɀͺ ൌሺͲȂȂȂȂȂȂͳሻǤ
Ɉɬɜɟɬ: 1) ɞɜɚ ɜɟɤɬɨɪɚ, (001), (011); 2) ɬɪɢ ɜɟɤɬɨɪɚ, (00), (01), (11), 3) ɞɜɚ ɜɟɤɬɨɪɚ,
(0001), (0000), 5) ɞɜɚ ɜɟɤɬɨɪɚ, (00000000), (00000001).
21. ɇɚɩɢɲɢɬɟ ɜɦɟɫɬɨ ɫɢɦɜɨɥɚ "_" 0 ɢɥɢ 1 ɬɚɤ, ɱɬɨɛɵ ɜɟɤɬɨɪ ɩɪɢɧɚɞɥɟɠɚɥ
ɦɧɨɠɟɫɬɜɭ M∩S (ɦɨɧɨɬɨɧɧɵɣ ɢ ɞɜɨɣɫɬɜɟɧɧɵɣ ɫɟɛɟ) ɢ ɧɚɣɞɢɬɟ ɱɢɫɥɨ ɬɚɤɢɯ
ɜɟɤɬɨɪɨɜ:
ͳሻ ɀଶ ൌ ൫Ȃ Ȃ ൯Ǣ ʹሻ ɀସ ൌ ሺȂ ͲȂ Ȃ ሻǢ
͵ሻ ɀସ ൌ ൫Ȃ Ȃ Ȃ ͳ൯Ǣ Ͷሻ ɀ଼ ൌ ሺȂ ͲͲȂ ͲȂ Ȃ Ȃ ሻǢ
ͳ
ͷሻ ɀ଼ ൌ ൫Ȃ ͲͳȂ Ȃ ͲȂ Ȃ Ȃ ൯Ǣ ሻ ɀ ൌ ሺȂ Ȃ Ȃ ͲȂ ͲȂ Ȃ Ȃ ͲȂ Ȃ Ȃ Ȃ Ȃ Ȃ ሻǢ
ሻ ɀ ൌ ሺȂ Ȃ Ȃ ͳȂ Ȃ ͳȂ Ȃ ͳȂ Ȃ Ȃ Ȃ Ȃ Ȃ ሻǢ ͺሻ ɀ ൌ ሺȂ Ȃ Ȃ ͳȂ Ȃ ͲȂ Ȃ Ȃ Ȃ Ȃ Ȃ Ȃ Ȃ Ȃ ሻǤ
Ɉɬɜɟɬ: 1) ɨɞɢɧ ɜɟɤɬɨɪ, (01); 2) ɨɞɢɧ ɜɟɤɬɨɪ, (0011);
3) ɞɜɚ ɜɟɤɬɨɪ, (0011), (0101); 4) ɨɞɢɧ ɜɟɤɬɨɪ, (00001111); 5) ɨɞɢɧ ɜɟɤɬɨɪ,
(01110001); 6) ɨɞɢɧ ɜɟɤɬɨɪ, (01010101).
= f (x1 , ..., x i 1 , x i2 ,..., xin , ..., x n ) ⊕ f (x1 , ..., x i 1 , xi2 ,..., xin , ..., x n ) =
= f (x1 , ..., 1,1,... , 1, ..., x n ) ⊕ f (x1 , ..., 0, 0,... , 0, ..., x n ).
ɉɪɢ n=1
∂f (x1 , x2 , ..., xn )
=
∂xi
= f (x1 , x2 , ..., xi−1 , xi , xi+1 ,... , xn ) ⊕ f (x1 , x 2 , ..., xi−1 , xi , xi+1 ,... , xn ) =
= f (x1 , x2 , ..., xi−1 ,1, xi+1 ,... , xn ) ⊕ f (x1 , x2 , ..., xi−1 ,0, xi+1 ,... , xn ).
99
∂f
= (x ∨ (1 ⇔ z)) ⊕ (x ∨ (0 ⇔ z)) = (x ∨ z) ⊕ (x ∨ z) =
∂y
= x ⊕ (z ∨ z) = x ⊕1 = x.
ɉɪɢɦɟɪ. Ⱦɥɹ ɮɭɧɤɰɢɢ ሺଵ ǡ ଶ ǡ ଷ ሻ ൌ തଶ തଷ ଵଶ ɧɚɣ¬ɞɢɬɟ ɩɪɨɢɡɜɨɞɧɭɸ ɩɨ
ɩɟɪɟɦɟɧɧɨɣ ͳ :
μሺͳ ǡʹ ǡ͵ ሻ
ൌ ሺതଶ തଷ ͳ ή ଶ ሻ۩ሺതଶ തଷ Ͳ ڄଶ ሻ ൌ ሺതଶ തଷ ଶ ሻ۩തଶ തଷ ൌ ଶ .
μͳ
ҧ
൬ ൰ ൌͲǢ ቆ ቇൌ ൬ ൰ Ǣ ൌ Ǣ
ሺْሻൌ ْ Ǣ ሺήሻൌ ْ ْ Ǣ
ሺשሻൌҧ ْത ْ Ǥ
ப
ɉɪɢɦɟɪ. Ⱦɥɹ ɛɭɥɟɜɨɣ ɮɭɧɤɰɢɢ ሺଵ ǡ ଶ ሻ ൌ ଵ ଶ ː˃ˌˇˋ˕ˈ˒˓ˑˋˊ˅ˑˇː˖ˡ ப୶ .
భ
ሺଵ ǡ ଶ ሻ ൌ ଵ ଶ ൌ ሺͲͲͲͳሻ,
μ
ൌ ሺͲ ή ଶ ሻ ْ ሺͳ ή ଶ ሻ ൌ ሺͲ ْ ଶ ሻ ൌ ଶ Ǥ
μଵ
ɋɦɟɲɚɧɧɚɹ ɱɚɫɬɧɚɹ ɩɪɨɢɡɜɨɞɧɚɹ k-ɝɨ ɩɨɪɹɞɤɚ ɨɩɪɟɞɟɥɹɟɬɫɹ ɜ ɜɢɞɟ:
μ୩ ሺଵ ǡ ଶ ǡ ǥ ǡ ୬ ሻ μ μ୩ିଵ
ൌ ቆ ቇǡ
μ୧భ μ୧మ ǥ μ୧ౡ μ୧ౡ μ୧భ μ୧మ ǥ μ୧ౡషభ
100
μ
ൌ ሺͳ ή ଶ Ͳ שή തଷ ሻ ْ ሺͲ ή ଶ ͳ שή തଷ ሻ ൌ ଶ ْ തଷ ǡ
μଵ
μ
ൌ ሺതଵ ή Ͳ שଵ തଷ ሻ ْ ሺതଵ ש ͳ ڄଵ തଷ ሻ ൌ തଵ ǡ
μଶ
μ
ൌ ሺതଵ ଶ שଵ ή ͳሻ ْ ሺതଵ ଶ שଵ Ͳ ڄሻ ൌ ଵ ǡ
μଷ
ଶ
μ μଶ μଶ μଷ
ൌ ͳǡ ൌ ͳǡ ൌ Ͳǡ ൌ Ͳǡ
μଵ μଶ μଵ μଷ μଶ μଷ μଵ μଶ μଷ
μଷ μ μ μ μଶ μଶ
ൌ ْ ْ ْ ْ ْ
μሺଵ ǡ ଶ ǡ ଷ ሻ μଵ μଶ μଷ μଵ μଶ μଵ μଷ
μଶ μଷ
ൌ ሺଵ שതଷ ሻതଵ ଵ ͳͳͲͲ ൌ
μଶ μଷ μଵ μଶ μଷ
ൌ തതതതതത
തଵ ଷ ଵ ͳଵ Ͳ ൌ ଷ ْ ଵ ଷ Ǥ
μ μ
ଵ ଶ ଵ ଶ ଷ ସ ൌതʹ ଵ ଶ ହ ൌതͳ
μͳ μʹ
0 0 0 1 0 1 1 0 1 0 1 1
0 1 1 0 0 1 0 1 0 1 0 1
1 0 1 0 1 0 1 1 0 0 1 0
1 1 1 0 0 1 0 1 0 0 1 0
μ μ
ଵ ଶ ଵ ଶ ଷ ସ ൌʹ ଵ ଶ ହ ൌͳ
μͳ μͳ
0 0 0 1 0 1 0 0 1 0 1 0
0 1 0 1 1 0 1 0 1 1 0 0
1 0 0 1 0 1 0 0 1 0 1 1
1 1 1 0 0 1 1 1 0 0 1 1
μ μ
ଵ ଶ ଵ ଶ ଷ ସ ൌͳ ଵ ଶ ହ ൌͳ
μͳ μʹ
0 0 0 1 0 1 1 0 1 0 1 1
0 1 0 1 1 0 1 1 0 1 0 1
1 0 1 0 1 0 1 0 1 1 0 1
1 1 1 0 0 1 1 1 0 0 1 1
μ μ
ଵ ଶ ଵ ଶ ଷ ସ ൌͲ ଵ ଶ ହ ൌͲ
μͳ μʹ
101
0 0 0 1 0 1 0 0 1 0 1 0
0 1 0 1 1 0 0 0 1 0 1 0
1 0 0 1 0 1 0 0 1 1 0 0
1 1 0 1 0 0 0 0 1 1 0 0
ɋɜɨɣɫɬɜɨ 2. ȿɫɥɢ ɞɥɹ ɛɭɥɟɜɨɣ ɮɭɧɤɰɢɢ ɨɬ n ɩɟɪɟɦɟɧɧɵɯ ሺଵǡ ଶ ǡ ǥ ǡ ୬ ሻ
ɚɪɝɭɦɟɧɬɵ
ሺଵ ǡ ǥ ǡ ୧ିଵ ǡ ୧ ǡ ୧ାଵ ǡ ǥ ǡ ୩ ሻ
பౡ
ɹɜɥɹɸɬɫɹ ɨɫɧɨɜɧɵɦɢ (k ሻǡ ˕ˑˆˇ˃ ப୶ ്0.
భ ǥப୶ౡ
f f f
ଵ ଶ f שx שx ቆ שx ቇ
x1 2 x1 1 x1 x1 1
0 0 1 0 0 1
0 1 1 1 1 0
1 0 1 0 1 1
1 1 0 1 1 0
ሺͳ ǡǥǡ ሻ ൌ തͳ തʹ ത͵ שതͳ തʹ ͵ שതͳ ʹ ത͵ ͳ שതʹ ത͵ ͵ ʹ ͳ ש,
ഥ
μ ഥ
μ ഥ
μ
ൌതʹ ത͵ ͵ ʹשǢ ൌതͳ ͵ ͳשത͵ Ǣ ൌത ത שǡ
μͳ μʹ μ͵ ͳ ʹ ͳ ʹ
102
ഥ
μ ഥ
μ ഥ
μ
ש ש ൌ തଵ തଶ שଵ ଶ שതଵ ଷ שଵ തଷ שതଶ തଷ שଶ ଷ ǡ
μଵ μଶ μଷ
ሺͳ ǡǥǡ ሻ ൌ തͳ ͵ ש ʹ ͳ שതʹ ͵ .
ɡɞɟɫɶ ୧ אሼͲǡͳሽ.
ɉɪɨɞɢɮɮɟɪɟɧɰɢɪɭɟɦ ɩɨɥɭɱɟɧɧɨɟ ɜɵɪɚɠɟɧɢɟ ɩɨ ɚɪɝɭɦɟɧɬɚɦ ଵ ǡ ଶ ǡ ǥ ǡ ୬ ɢ
ɜɵɱɢɫɥɢɦ ɡɧɚɱɟɧɢɟ ɩɨɥɭɱɟɧɧɨɣ ɩɪɨɢɡɜɨɞɧɨɣ ɜ ɧɚɛɨɪɟ (0,0,...,0). Ɍɨɝɞɚ ɩɨɥɭɱɢɦ
μ୩ ሺͲǡͲǡ ǥ ǡͲሻ
ൌ ଵଶଷǥ୩ Ǥ
μଵ ǥ μ୩
Ɍɟɨɪɟɦɚ. Ⱦɥɹ ɩɪɨɢɡɜɨɥɶɧɨɣ ɛɭɥɟɜɨɣ ɮɭɧɤɰɢɢ ሺͳ ǡʹ ǡǥǡሻ ɜ ɬɨɱɤɟ
(0,0,...,0) ɫɭɳɟɫɬɜɭɟɬ ɫɥɟɞɭɸɳɟɟ ɪɚɡɥɨɠɟɧɢɟ:
൫͵ ൯ൌሺͳ oʹ ሻ͵ ൌሺɐͳ ǡɐʹ ǡɐ͵ ሻሺɐ͵ ɐʹ ɐ͵ ሻሺͳ ɐͳ ሻ
ഥଵ ɐଷ ሻͳ൯ሺଶ ɐʹ ሻ൫ሺɐͳ ՜ɐʹ ሻͳ൯ሺ͵ ɐଷ ሻ
൫ሺɐ
ɐഥଷ ሺଵ ɐଵ ሻሺʹ ɐଶ ሻഥ
ɐଶ ሺͳ ɐଵ ሻሺ͵ ɐଷ ሻ
ɐଵ ሺʹ ɐଶ ሻሺ͵ ɐଷ ሻͳሺͳ ɐଵ ሻሺʹ ɐଶ ሻሺ͵ ɐଷ ).
ɉɪɢɦɟɪ. ɇɚɩɢɲɢɬɟ ɪɚɡɥɨɠɟɧɢɟ ɜ ɪɹɞ Ɍɟɣɥɨɪɚ ɮɭɧɤɰɢɢ
ሺ ଷ ሻ ൌ ሺଵ oଶ ሻଷ ˅˓˃ˊˎˋ˚ː˞˘˕ˑ˚ˍ˃˘ː˃˄ˑ˓˃ሺߪଵ ǡ ߪଶ ǡ ɐଷ ሻ.
a) f ( x, y) = x ⊕ xy , b) f (x, y ) = xy ~ xy ,
c) f (x , y ) = x ↓ (y ⊕ xy ) , d) f (x, y ) = x → (x → y ) ,
e) f (x, y ) = x → (y → x ) , f) f (x, y, z ) = z(y ~ x ) ,
g) f (x , y, z ) = x → (y → z ) , j) f (x , y, z ) = x ~ y ~ z .
∂f ∂f ∂f ∂f ∂f ∂f ∂f ∂f
Ɉɬɜɟɬ: a) = y, = x ; b) = 0, = 0 ; c) = 0, = 0 ; d) = y, = x ; e)
∂x ∂y ∂x ∂y ∂x ∂y ∂x ∂y
∂f ∂f ∂f ∂f ∂f ∂f ∂f ∂f ∂f ∂f ∂f
= y, = x ; f) = z, = z ͕ = x ~ y ; g) = yz, = xz, = xy; j) =1, =1, =1.
∂x ∂y ∂x ∂y ∂z ∂x ∂y ∂z ∂x ∂y ∂z
105
2. ɇɚɣɞɢɬɟ ɩɪɨɢɡɜɨɞɧɵɟ ɜɬɨɪɨɝɨ ɩɨɪɹɞɤɚ ɡɚɞɚɧɧɨɣ ɮɭɧɤɰɢɢ ɩɨ
ɩɟɪɟɦɟɧɧɵɦ x, y, z:
106
Ȼɭɥɟɜɚɹ ɋɨɨɬɜɟɬɫɬɜɭɸɳɢɣ ɋɭɩɟɪɩɨɡɢɰɢɹ
ɮɨɪɦɭɥɚ ɦɧɨɝɨɱɥɟɧ ɀɟɝɚɥɤɢɧɚ ɮɨɪɦɭɥɵ
xޔy xy xy=f(x,y)
തതതതത
1 തതതതത=N(f(x,y))
തy y തҺy=f(N(x),y)
xݕޕത 1 xޕത=f(x,N(y))
xݕޔത x xത=f(x,N(y))
തޕy 1 ത=f(N(x),y)
xޕy x xޕy=f(x,y)
തതതതത
1 തതതതത=N(f(x,y))
xത 0 xത=f(x,N(x))
xޕത 1 xޕത=f(x,N(x))
x =f(x)
y =f(y)
ത 1x ത=f(N(x))
ത 1 ത=f(N(y))
x̱y ͳy x̱y=f(x,y)
തതതതത
̱ തതതതത=N(f(x,y))
̱
y՜ 1 ՜ =f(x,y)
തതതതതതത
՜ ՜ =f(x,y)
തതതതതതത
x՜ ͳ x՜ =f(xy)
xȁ y 1 x|=f(x,y)
x՝y ͳ x՝y=f(x,y)
തതതതതതത
՜ തതതതതതത
՜ =N(f(x,y))
ത̱ x ത̱=f(N(x),y)
ݔҧ ՜ x ത ՜ =f(N(x),y)
(xޕy)(o) (xޕy)( ՜ )=f(y)
(xޕy)(̱) y (xޕy)(̱)=f(x,y)
(x̱y)(x→y) 1 (x̱ሻሺo)=f(x,y)
107
Ȼɭɥɟɜɚɹ
ɋ.D.ɇ.Ɏ. ɋ.K.ɇ.Ɏ. ɋɨɤ.D.ɇ.Ɏ.
ɮɨɪɦɭɥɚ
തത
՜ തതത ത ത
̱ തത (തሻሺതሻ തത
xy xy (ሻሺݕത ሻሺത) xy
തതതതതതത
՜ ത (ሻሺതሻሺതത) ത
ْ തത (ሻሺതത) തത
തതതതത
തത (ݕതሻሺതሻሺതത) തത
തതത തതതത തത തത
՜ തതത ത ത
108
Ɍɚɤɢɦ ɨɛɪɚɡɨɦ, ɤɚɠɞɨɣ ɫɯɟɦɟ ɩɟɪɟɤɥɸɱɚɬɟɥɟɣ ɫɨɨɬɜɟɬɫɬɜɭɟɬ ɫɥɨɠɧɨɟ
ɜɵɫɤɚɡɵɜɚɧɢɟ. ȿɫɥɢ ɩɨ ɫɯɟɦɟ ɩɪɨɯɨɞɢɬ ɬɨɤ, ɱɬɨ ɜɵɫɤɚɡɵɜɚɧɢɟ ɢɫɬɢɧɧɨɟ, ɜ
ɩɪɨɬɢɜɧɨɦ ɫɥɭɱɚɟ ɥɨɠɧɨɟ. Ʉɚɠɞɨɟ ɫɥɨɠɧɨɟ ɜɵɫɤɚɡɵɜɚɧɢɟ ɦɨɠɟɬ ɛɵɬɶ
ɢɫɫɥɟɞɨɜɚɧɨ ɦɟɬɨɞɚɦɢ ɦɚɬɟɦɚɬɢɱɟɫɤɨɣ ɥɨɝɢɤɢ. ȿɫɥɢ ɷɬɨ ɫɥɨɠɧɨɟ
ɜɵɫɤɚɡɵɜɚɧɢɟ ɦɨɠɧɨ ɭɩɪɨɫɬɢɬɶ, ɬɨ ɫɨɨɬɜɟɬɫɬɜɭɸɳɚɹ ɫɯɟɦɚ ɬɨɠɟ ɦɨɠɟɬ ɛɵɬɶ
ɚɧɚɥɨɝɢɱɧɨ ɭɩɪɨɳɟɧɚ. ȿɫɬɟɫɬɜɟɧɧɨ ɫɱɢɬɚɬɶ, ɱɬɨ ɟɫɥɢ ɫɯɟɦɩɚ ɢɦɟɟɬ ɦɚɥɨ
ɩɟɪɟɤɥɸɱɚɬɟɥɟɣ, ɬɨ ɨɧɚ ɛɨɥɟɟ ɩɪɨɫɬɚɹ. ɋɜɹɡɶ ɦɟɠɞɭ ɥɨɝɢɱɟɫɤɢɦɢ
ɜɵɫɤɚɡɵɜɚɧɢɹɦɢ ɢɥɢ ɢɧɮɨɪɦɚɰɢɟɣ ɢ ɫɯɟɦɚɦɢ ɩɟɪɟɤɥɸɱɚɬɟɥɟɣ ɢɡɨɦɨɪɮɧɚɹ.
ɗɬɚ ɢɡɨɦɨɪɮɧɨɫɬɶ ɩɪɢɦɟɧɹɟɬɫɹ ɜ ɪɟɲɟɧɢɢ ɞɜɭɯ ɬɢɩɨɜ ɡɚɞɚɱ. Ɍɚɤɢɟ ɡɚɞɚɱɢ
ɭɫɥɨɜɧɨ ɧɚɡɵɜɚɸɬɫɹ ɫɯɟɦɚɦɢ ɚɧɚɥɢɡɚ ɢ ɫɢɧɬɟɡɚ.
Ɋɢɫ. 4. Ɋɢɫ. 5.
109
1, ɧɟɬ - 0):
A B C Ƚሺǡ ǡ ሻ
0 0 0 0
0 0 1 0
0 1 0 0
0 1 1 1
1 0 0 0
1 0 1 1
1 1 0 1
1 1 1 1
Ƚሺǡǡሻൌሺሺሺሻሻሺሺሻሻሺሻ.
Ƚ ൌ ሺሻሺሺሻሻሺሺሻሻሺሻሻ ൌ
ൌሺሺሺሻሻሺሺሻሺሻሺሻሺሻ
ሺሻሺሻሺሻሺሻሺሻ ൌ
ൌሺሻሺሺሻሺሻሺሻሺሻሺሻ
ሺሻሻ ൌ ሺሺሻሺሺሻሺሻ)=
ൌሺሺሻሻ൫ሺሻ൯൫ሺሻሺሻ൯ൌሺሺሻሻሺሻ.
Ɋɢɫ. 6. Ɋɢɫ. 7.
110
ɉɪɢɦɟɪ. ɇɚɩɢɲɢɬɟ ɜɵɫɤɚɡɵɜɚɧɢɹ, ɫɨɨɬɜɟɬɫɬɜɭɸɳɢɟ ɡɚɞɚɧɧɨɣ ɫɯɟɦɟ (ɪɢɫ.
8) ɢ ɭɩɪɨɫɬɢɬɟ ɟɟ.
F= ((A1∨A3)∧A2)∨(A1∧തതതଶത͵ሻሺതതത
ଵ തതതଶത∧A3)=
=((A1∨A3)∧A2)∨തതതଶത͵ሺͳതതത
ଵ ሻ ൌ ሺͳʹሻሺ͵ʹሻሺതതതଶത∧A3)=
=(A1∧A2)∨(A3∧(A2∨തതതଶത)=(A1∧A2)∨A3
F=(A1∧A2)∨A3.
A1
A2
A1 A2
A3 M N
M N
A1 A2 A3 A3
A1 A2 A3
Ɋɢɫ. 8. Ɋɢɫ. 9.
ɉɪɢɦɟɪ. ɇɚɩɢɲɢɬɟ ɜɵɫɤɚɡɵɜɚɧɢɹ, ɫɨɨɬɜɟɬɫɬɜɭɸɳɢɟ ɡɚɞɚɧɧɨɣ ɫɯɟɦɟ, ɢ
ɭɩɪɨɫɬɢɬɟ ɟɟ.
ൌ ቀሺሻ൫ሺሻ൯ቁ ൌ
ൌ ሺሺሺሺሻሺሻሻሻሺሺሻሻ ൌ ሺሻ ൌ
ɋɯɟɦɚ ɮɨɪɦɭɥɵ ɫɨɨɬɜɟɬɫɬɜɭɟɬ ɪɢɫ. 11.
ɉɪɢɦɟɪ. (Ⱥɧɚɥɢɡ). ɇɚɩɢɲɢɬɟ ɜɵɫɤɚɡɵɜɚɧɢɹ, ɫɨɨɬɜɟɬɫɬɜɭɸɳɢɟ ɡɚɞɚɧɧɨɣ
ɫɯɟɦɟ ɢ ɭɩɪɨɫɬɢɬɟ ɟɟ.
111
ͳ ൌʹͳ ʹʹר,
ʹͳ ൌ͵ͳ ʹ͵ש,
ʹʹ ൌതതതത
͵͵ ǡ
͵ͳ ൌതതതത തതതത തതതത
Ͷͳ רͶʹ רͶ͵ ǡ
͵ʹ ൌ,
ଷଷ ൌ തതതത തതതത തതതത
ସସ ସହ ସ ,
ସଵ ൌ തǡ ସଶ ൌ തǡସଷ ൌ ത,
ସସ ൌ തǡ ସହ ൌ തǡସ ൌ ത.
ଶଵ ൌ ሺത רത רതሻ שሺ ר רሻǡ ଶଶ ൌ തതതതതതതതതതത
ത רത רതǤ
ൌ ଵ ൌ ଶଵ ଶଶ ൌ ሺതרതרതሻשሺררሻതതതതതതതത
തרതרതǤ
͵ሻ ሺଵ ǡ ଶ ǡ ǥ ǡ ୬ ሻ ൌ ଵ ْ ଶ ْ ǥ ୬ .
112
Ƚɥɚɜɚ III
k-ɁɇȺɑɇȺə ɅɈȽɂɄȺ
Ɍɟɨɪɟɦɚ. ɑɢɫɥɨ k-ɡɧɚɱɧɵɯ ɮɭɧɤɰɢɣ ɨɬ n-ɩɟɪɟɦɟɧɧɵɯ ɪɚɜɧɨ ݇ .
k-ɡɧɚɱɧɵɟ ɮɭɧɤɰɢɢ ɨɬ n ɩɟɪɟɦɟɧɧɵɯ ɨɛɨɡɧɚɱɚɸɬ ୩ ሺሻǤ ʦˋ˔ˎˑ͵ െ
మ
˘ˊː˃˚ː˞˘˗˖ːˍ˙ˋˌˑ˕ˇ˅˖˘˒ˈ˓ˈˏˈːː˞˘˄˖ˇˈ˕ܲଷ ሺʹሻ ൌ ͵ ൌ ͵ଽ .
ଷ
113
ത ̱
0 1 3
1 2 2
2 3 1
3 0 0
114
12. Ɏɭɧɤɰɢɹ ɪɚɡɧɨɫɬɢ ɩɨ ɦɨɞɭɥɸ k:
ଵ ଶ ǡ˒˓ˋͲdଶ dଵ dͳǡ
ͳ ʹ ሺሻ ൌ ൜
ሺଶ ଵ ሻǡ ˒˓ˋͲdଵ ଶ dͳǤ
13. Ɏɭɧɤɰɢɹ ȼɟɛɛɚ:
୩ ሺଵ ǡ ଶ ሻ ൌ ሺଵ ǡ ଶ ሻ ْ1(mod k)
ɉɪɢ k=2
ଶ ሺଵ ǡ ଶ ሻ ൌ ሺଵ ǡ ଶ )+1(mod k)=
=(ଵ ଶ ሻ ْ ͳሺሻ ൌ തതതതതതതത
ଵ ଶ ൌ തଵ തଶ .
115
1 2 0 2 0 0 2 2
2 0 0 1 2 2 0 1
2 1 0 2 1 1 1 1
2 2 0 0 0 10 2 1
2. Ⱥɫɫɨɰɢɚɬɢɜɧɵɣ ɡɚɤɨɧ:
ሺଵ כଶ ሻ כଷ ൌ ݔଵ ሺଶ כଷ ሻ
ɡɞɟɫɶ אכሼٔǡْǡ ǡ ሽ.
3. Ⱦɢɫɬɪɢɛɭɬɢɜɧɵɣ ɡɚɤɨɧ:
ሺͳ ْʹ ሻٔ͵ ൌͳ ͵ ْʹ ͵ ,
4. ɂɞɟɦɩɨɬɟɧɬɧɵɣ ɡɚɤɨɧ:
max(ଵ ǡ ǥ ǡ ୬ିଵ ǡ ୬ ሻ ൌ ሺሺଵ ǡ ǥ ǡ ୬ିଵሻǡ ୬ ሻǡ ͵ǡ
min(ଵ ǡ ǥ ǡ ୬ିଵ ǡ ୬ ሻ ൌ ሺሺଵǡ ǥ ǡ ୬ିଵሻǡ ୬ ሻǡ ͵.
5.Ɂɚɤɨɧ ɬɪɚɧɫɩɨɪɬɢɡɢɰɢɢ:
തതതതതതതത
ɉɪɢɦɟɪ. Ⱦɨɤɚɠɢɬɟ: ̱ሺ
ത ή തሻ ൌ ሺ̱ሻ ή ത.
Ɋɟɲɟɧɢɟ:
തതതതതതതതതതതതതതതതതതതൌ̱ሺሺͳሻሺͳሻሻͳൌ
̱ሺതήതሻൌ̱ሺሺͳሻήሺͳሻሻ
ൌͳሺͳሻሺͳሻͳൌሺͳሻሺͳሻǢ
ሺ̱ሻήതൌሺ̱ሻήሺͳሻൌሺሺͳሻሻሺͳሻൌሺͳሻሺͳሻ.
116
Ⱥɧɚɥɨɝ ɋ.Ⱦ.ɇ.Ɏ. ɜ ɛɭɥɟɜɵɯ ɮɭɧɤɰɢɹɯ ɜ k-ɡɧɚɱɧɨɣ ɥɨɝɢɤɟ ɧɚɡɵɜɚɟɬɫɹ
ɩɟɪɜɨɣ ɮɨɪɦɨɣ. Ⱦɥɹ ɩɪɨɢɡɜɨɥɶɧɨɣ ɮɭɧɤɰɢɢ, ɩɪɢɧɚɞɥɟɠɚɳɟɣ k-ɡɧɚɱɧɵɦ
ɥɨɝɢɱɟɫɤɢɦ ɮɭɧɤɰɢɹɦ ɫɩɪɚɜɟɞɥɢɜɨ ɪɚɡɥɨɠɟɧɢɟ ɫɥɟɞɭɸɳɟɝɨ ɜɢɞɚ:
ሺଵ ǡ ଶ ǡ ǥ ǡ ୬ ሻ ൌ
ൌ ɐഥ ൛ሺሺɐͳ ǡɐʹ ǡǥǡɐ ሻǡ ɐͳ ሺͳ ሻǡ ɐʹ ሺʹ ሻǡǥǡ ɐ ሺ ሻሻൟ,
ɇɚ ɨɫɧɨɜɚɧɢɢ ɬɚɛɥɢɰɵ
117
1) ሺሻൌതǡ ൌ ͵ǡ୩ ൌ ሼͲǡͳǡʹሽ,
˗ˑ˓ˏ˃ ൌ തൌͳή Ͳ ሺሻʹή ͳ ሺሻ,
ሺǡሻൌሺതതതതതሻ
ـത .
x y ـݔ ഥ
ـ ݕത f(x,y)
0 0 2 0 1 1
0 1 2 0 2 2
0 2 2 0 0 0
1 0 1 2 1 0
1 1 2 0 2 2
1 2 2 0 0 0
2 0 0 1 1 2
2 1 1 2 2 1
2 2 2 0 0 0
˗ˑ˓ˏ˃ ൌ ሺǡሻൌሺതതതതതሻ
ـത ൌ
ൌͳή Ͳ ሺሻ Ͳ ሺሻʹή Ͳ ሺሻ ͳ ሺሻʹή ͳ ሺሻ ͳ ሺሻʹή ʹ ሺሻ Ͳ ሺሻʹή ʹ ሺሻ ͳ ሺሻ
Ɏɭɧɤɰɢɢ
Ⱥɧɚɥɨɝɢ ɋ.Ⱦ.ɇ.Ɏ. (ɩɟɪɜɚɹ ɢ ɜɬɨɪɚɹ ɮɨɪɦɵ)
(mod3)
ሺ ʹ ሻ ൌ ሼሺ ͳ ሺሻǡ ͳ ሺሻǡͳ),
min( ͳ ሺሻǡ ʹሺሻǡ ͳሻǡ ሺ ʹ ሺሻǡ ͳሺሻǡ ͳ),
min(ͳ ǡʹ )
min( ʹ ሺሻǡ ʹሺሻǡ ʹ)}
ሺ ሻ ൌ ଵ ሺሻ ଵ ሺሻ ଵ ሺሻ ଶ ሺሻ ଶ ሺሻ ଵ ሺሻ ʹ ή ଶ ሺሻ ଶ ሺሻ,
ଶ
119
ɡɧɚɱɧɵɯ ɮɭɧɤɰɢɣ, ɫɨɞɟɪɠɚ¬ɳɢɯ ɦɧɨ¬ɠɟɫɬɜɨ - ɧɚɡɵɜɚɟɬɫɹ ɡɚɦɤɧɭɬɵɦ ɤɥɚɫɫɨɦ ɢ
ɨɛɨɡɧɚ¬ɱɚɟɬ¬ɫɹ ሺ-ሻ (ɤɥɚɫɫ, ɫɨɞɟɪɚɳɢɣ ɦɧɨɠɟɫɬɜɨ -). ȿɫɥɢ ɦɧɨ¬ɠɟɫɬ¬¬ɜɨ ࢡ
ɹɜɥɹɟɬɫɹ ɫɨɛɫɬɜɟɧɧɵɦ ɩɨɞɦɧɨɠɟɫɬɜɨɦ ୩ ൌ ሼͲǡͳǡ ǥ ǡ ͳሽǡ ɬɨɝɞɚ ሺԂሻ ് .
ɉɭɫɬɶ ɦɧɨɠɟɫɬɜɨ D={ࢡ_1,ࢡ_2,…,ࢡ_s } – ɫɨɫɬɨɢɬ ɢɡ ɱɚɫ¬ɬɟɣ ɦɧɨɠɟɫɬɜɚ
୩ ሺ୩ ൌ ڂୱ୧ୀଵ Ԃ ɢ ɩɪɢ ് Ԃ୧ תԂ୨ ് ǡ ǡ ൌ ͳǡʹǡ Ǥ Ǥ Ǥ ǡ ሻǤ ȿɫɥɢ ɷɥɟɦɟɧɬɵ a ɢ b,
ɩɪɢɧɚɞɥɟɠɚɳɢɟ ɦɧɨɠɟɫɬɜɭ Ek, ɩɪɢɧɚɞɥɟɠɚɬ ɨɞɧɨɦɭ ɢ ɬɨɦɭ ɠɟ ɩɨɞɦɧɨɠɟɫɬɜɭ
- ɢɡ D, ɬɨɝɞɚ ɷɥɟɦɟɧɬɵ a ɢ b ɧɚɡɵɜɚɸɬɫɹ ɨɬɧɨɫɢɬɟɥɶɧɨ ɷɤɜɢɜɚɥɟɧɬɧɵɦɢ
ɷɥɟɦɟɧɬɚɦɢ ɜ ɪɚɡɛɢɟɧɢɢ D ɢ ɨɛɨɡɧɚɱɚɸɬɫɹ ̱ܽሺሻ. ȿɫɥɢ
Ƚ୧ ̱Ⱦ୧ ሺሻሺൌͳǡ തതതതሻ, ɬɨɝɞɚ ɧɚɛɨɪɵ Ƚ
ɢ Ⱦ෨ ɛɭɞɭɬ ɨɬɧɨɫɢɬɟɥɶɧɨ
ɷɤɜɢɜɚɥɟɧɬɧɵɦɢ ɧɚɛɨɪɚɦɢ ɜ ɪɚɡɛɢɟɧɢɢ D ɢ ɨɛɨɡɧɚɱɚɸɬɫɹ Ƚ୬ ̱Ⱦ෨୬ ሺሻ. ȿɫɥɢ
෨ ෨
ɩɪɢ Ƚ ̱Ⱦ (mod D) ɛɭɞɟɬ ሺȽ ሻ̱ሺȾ ሻ (mod D),ɬɨ ɮɭɧɤɰɢɹ ሺ ୬ ሻሺ ͳሻ
Ǣ തൌͳ̱ൌሺͳሻൌሺͳሻሺͳሻǢ
ή Ǣ ൌൌሺͳሻǢ
Ǣ ൌሺͳሻ .
120
ɉɪɢɦɟɪ. Ɏɭɧɤɰɢɸ ሺሻൌ ʹ ɩɪɢ k=5 ɧɚɩɢɲɢɬɟ ɜ ɜɢɞɟ ɩɨɥɢɧɨɦɚ.
ɉɨɥɢɧɨɦ ሺሻൌܽͲ ْܽͳْܽʹ ʹ ْܽ͵ ͵ ْܽͶ Ͷ ሺͷሻ ɢɦɟɟɬ ɬɚɤɨɣ ɜɢɞ. Ɂɞɟɫɶ
ɤɨɷɮɮɢɰɢɟɧɬɵ ܽͲ ǡ ܽͳ ǡ ܽʹ ǡ ܽ͵ ǡ ܽͶ ɨɩɪɟɞɟɥɹɸɬɫɹ ɦɟɬɨɞɨɦ ɧɟɨɩɪɟɞɟɥɟɧɧɵɯ
Ͷ݈ ݈
ɤɨɷɮɮɢɰɢɟɧɬɨɜ ሺ ൌ (mod5)):
ܽ ൌ ሺͲሻ ൌ Ͳǡ
ܽ ܽଵ ܽଶ ܽଷ ܽସ ൌ ሺͳሻ ൌ Ͳǡ
ܽ ʹܽଵ Ͷܽଶ ͵ܽଷ ܽସ ൌ ሺʹሻ ൌ ʹǡ
ܽ ͵ܽଵ Ͷܽଶ ʹܽଷ ܽସ ൌ ሺ͵ሻ ൌ ͳǡ
ܽ Ͷܽଵ ܽଶ Ͷܽଷ ܽସ ൌ ሺͶሻ ൌ ͲǤ
Ɋɟɲɟɧɢɟ ɫɢɫɬɟɦɵ ɭɪɚɜɧɟɧɢɣ
ܽ ൌ Ͳǡ ܽଵ ൌ ʹǡ ܽଶ ൌ ͵ǡ ܽଷ ൌ ͵ǡܽସ ൌ ʹ ሺሻ ൌ ʹ ْ ͵ ଶ ْ ͵ଷ ْ ʹ ସ Ǥ
ሺݔሻ ൌ ܽସ ସ ܽଷ ଷ ܽଶ ଶ ܽଵ ܽ ǡ
ۓଶ ସ
ۖ ܽସ ή Ͳ ܽଷ ή Ͳଷ ܽଶ ή Ͳଶ ܽଵ ή Ͳ ܽ ൌ Ͷǡ
ۖ
ܽସ ή ͳସ ܽଷ ή ͳଷ ܽଶ ή ͳଶ ܽଵ ή ͳ ܽ ൌ ͵ǡ
ସ ଷ ଶ
ܽ۔ସ ή ʹ ܽଷ ή ʹ ܽଶ ή ʹ ܽଵ ή ʹ ܽ ൌ ʹǡ
ۖ ܽ
ۖ ସ ή ͵ସ
ܽ ଷ ή ͵ଷ
ܽ ଶ ή ͵ଶ
ܽଵ ή ͵ ܽ ൌ ͳǡ
ܽەସ ή Ͷସ ܽଷ ή Ͷଷ ܽଶ ή Ͷଶ ܽଵ ή Ͷ ܽ ൌ ͲǢ
ܽ ൌ Ͷǡ
ܽ ۓ ܽ ܽ ܽ ൌ Ͷǡ
ۖ ଵ ଶ ଷ ସ
ʹܽଵ Ͷܽଶ ͵ܽଷ ܽସ ൌ ͵ǡ
ܽ͵۔ଵ Ͷܽଶ ʹܽଷ ܽସ ൌ ʹǡ
ۖ
ەͶܽଵ ܽଶ Ͷܽଷ ܽସ ൌ ͳǤ
Ɋɟɲɢɦ ɫɢɫɬɟɦɭ ɭɪɚɜɧɟɧɢɣ ɦɟɬɨɞɨɦ Ƚɚɭɫɫɚ:
ͳ ͳ ͳ ͳ Ͷ ͳ ͳ ͳ ͳ Ͷ
ʹ Ͷ ͵ ͳ ͵ Ͳ ʹ ͳ െͳ െͷ
൮ ൲̱൮ ൲̱
͵ Ͷ ʹ ͳ ʹ Ͳ ͳ െͳ െʹ െͳͲ
Ͷ ͳ Ͷ ͳ ͳ Ͳ െ͵ Ͳ െ͵ െͳͷ
ͳ ͳ ͳ ͳ Ͷ ͳ ͳ ͳ ͳ Ͷ
Ͳ ʹ ͳ െͳ െͷ Ͳ ʹ ͳ Ͷ Ͳ
̱ ൮ ൲ ̱ ൮ ൲
Ͳ Ͳ െ͵ െ͵ െͳ Ͳ Ͳ ʹ ʹ Ͳ
Ͳ Ͳ Ͳ ͵ͻ ͻͲ Ͳ Ͳ Ͳ ͳ Ͳ
ܽଵ ܽଶ ܽଷ ܽସ ൌ Ͷǡ ܽଵ ൌ Ͷǡ
ʹܽଶ ܽଷ Ͷܽସ ൌ Ͳǡ ܽ ൌ Ͳǡ
൞ ൞ ଶ ሺሻൌaൌͶͶ.
ʹܽଷ ܽସ ൌ Ͳǡ ܽଷ ൌ Ͳǡ
ܽସ ൌ Ͳ ܽସ ൌ Ͳǡ
ɂɫɩɨɥɶɡɭɹ ɜɬɨɪɭɸ ɮɨɪɦɭ ɮɭɧɤɰɢɢ ɬɨɠɟ ɦɨɠɧɨ ɪɚɡɥɨɠɢɬɴ ɮɭɧɤɰɢɸ ɜ ɜɢɞɟ
ɩɨɥɢɧɨɦɚ. ɉɪɢ ɷɬɨɦ ɢɫɩɨɥɶɡɭɸɬ ɮɨɪɦɭɥɵ (k=p − ɩɪɨɫɬɨɟ ɱɢɫɥɨ):
121
ሺሻ ൌ ሺ െ ɐሻǡ ሺሻ ൌ ͳȂ ୮ିଵ ǡ
୮ିଵ
ሺሻ ൌ ሺ െ ͳሻ ൌ ͳ െ ,
X 0 0 0 1 1 1 2 2 2
Y 0 1 2 0 1 2 0 1 2
V3=max(x,y)+1 1 2 0 2 2 0 0 0 0
ܽ ൌ ͳ
ۓ ܽଶ ܽସ ܽ ൌ ʹ
ۖ
ۖ ʹܽଶ ܽସ ܽ ൌ Ͳ
ۖ ܽଵ ܽଷ ܽ ൌ ʹ
ܽଵ ܽଶ ܽଷ ܽସ ܽହ ܽ ܽ ଼ܽ ܽ ൌ ʹ
ܽ۔ܽ ܽ ܽ ʹܽ ʹܽ ܽ ʹܽ ܽ ൌ Ͳ
ଵ ଶ ଷ ସ ହ ଼
ۖʹܽ ܽ ܽ ൌ Ͳ
ۖ ଵ ଷ
ۖʹܽଵ ܽଶ ܽଷ ܽସ ʹܽହ ܽ ܽ ʹ଼ܽ ܽ ൌ Ͳ
ܽʹەଵ ʹܽଶ ܽଷ ܽସ ܽହ ʹܽ ʹܽ ଼ܽ ܽ ൌ Ͳ
Ɋɟɲɟɧɢɟɦ ɫɢɫɬɟɦɵ ɹɜɥɹɟɬɫɹ
ܽ ൌ ͳǡ ܽଶ ൌ ͳǡܽଷ ൌ ʹǡ ܽସ ൌ Ͳǡ
ܽହ ൌ Ͳǡ ܽ ൌ ͳǡ ܽ ൌ ͳǡ଼ܽ ൌ ͳǤ
Ɍɨɝɞɚ ɩɨɥɢɧɨɦ ɛɭɞɟɬ ɜ ɫɥɟɞɭɸɳɟɦ ɜɢɞɟ:
ሺǡሻൌͳʹ ʹ ʹ ʹ ʹ .
ɡɞɟɫɶ
Ͳ ሺሻൌͳ ǡ ͳ ሺሻൌ Ͳሺͳሻൌͳሺͳሻʹൌʹ ʹ ,
ʹ
122
ൌሺͳʹ ሻሺͳʹ ሻሺʹʹ ሻሺʹ ʹ ሻήʹሺͳʹ ሻሺʹ ʹ ሻήʹ
ሺʹ ʹ ሻሺͳ ʹ ሻήʹൌͳ ʹ ʹ ʹ ʹ ͺͶ ʹ
Ͷ ʹ ʹ ʹ ʹ Ͷʹʹ Ͷʹ ʹ ʹ ʹ ͶͶ ʹ
ʹ ʹ ʹʹ ʹ ൌͳʹ ʹ ʹ ʹ ʹ Ǥ
ʹ ൌሺሺͲሻሺͳሻሺʹሻሻൌሺͲʹʹሻൌʹǡ
ሺሻൌʹ ʹ ˒אˑˎˋːˑˏ͵ .
123
Ɉ ɬɨɦ, ɤɨɝɞɚ ɫɢɫɬɟɦɚ ɮɭɧɤɰɢɣ
ɢɡ ɦɧɨɠɟɫɬɜɚ ܓ۾ɛɭɞɟɬ ɩɨɥɧɨɣ ɫɢɫɬɟɦɨɣ:
124
ɂɋɉɈɅɖɁɈȼȺɇɇȺə ɅɂɌȿɊȺɌɍɊȺ
125
Buy your books fast and straightforward online - at one of world’s
fastest growing online book stores! Environmentally sound due to
Print-on-Demand technologies.
Buy your books online at
www.morebooks.shop