Zhegalkin polinomi - Zhegalkin polynomial

Zhegalkin (shuningdek Žegalkin, Gegalkine yoki Shegalkin^[1]) polinomlar operatsiyalarining mumkin bo'lgan tasavvurlaridan birini tashkil qiladi Mantiqiy algebra. Rus matematikasi tomonidan kiritilgan Ivan Ivanovich Zhegalkin 1927 yilda ular polinom halqasi ustidan butun modullar 2. Natijada degeneratiyalar modulli arifmetik natijada Zhegalkin polinomlari oddiy polinomlarga qaraganda sodda bo'lib, na koeffitsientlar va na ko'rsatkichlarni talab qiladi. Koeffitsientlar ortiqcha, chunki 1 - bu nolga teng bo'lmagan koeffitsient. Ko'rsatkichlar ortiqcha, chunki arifmetik modda 2, x² = x. Shuning uchun 3 kabi polinomx²y⁵z bilan mos keladi va shuning uchun quyidagicha yozilishi mumkin: xyz.

Mantiqiy ekvivalenti

1927 yilgacha mantiqiy algebra hisoblash hisoblangan mantiqiy qiymatlar ning mantiqiy operatsiyalari bilan birikma, ajratish, inkor va hokazo. Zhegalkin barcha mantiqiy amallarni oddiy sonli polinomlar sifatida yozish mumkinligini, 0 va 1 mantiqiy konstantalarni butun sonli mod deb o'ylashini ko'rsatdi 2. Bog'lanishning mantiqiy amallari ko'paytirishning arifmetik amali sifatida amalga oshiriladi. xyva mantiqiy eksklyuziv yoki arifmetik qo'shilish mod sifatida 2, (bu erda yozilgan x⊕y + ning inklyuziv-yoki ∨) sinonimi sifatida keng tarqalgan ishlatilishi bilan chalkashmaslik uchun. Mantiqiy to'ldiruvchi ¬x keyin 1 va ⊕ kabi olinadi x⊕1. ∧ va ¬ butun mantiqiy algebra uchun etarli asosni tashkil qilganligi sababli, boshqa barcha mantiqiy operatsiyalar ushbu asosiy operatsiyalarning kompozitsiyasi sifatida olinishi mumkin degan ma'noni anglatadi, shuning uchun oddiy algebra polinomlari mantiqiy mantiqiy mulohazalarni bajarishga imkon beradigan barcha mantiqiy amallarni aks ettirishi mumkin. tanish qonunlarga murojaat qilish orqali ishonchli tarzda elementar algebra mod 2 qo'shilishi o'rniga disjunktsiya bilan kelib chiqadigan o'rta maktab algebrasidan farqlarni chalg'itmasdan.

Ilovaga misol sifatida Boolean 2-dan 3 ostonasini yoki o'rtacha operatsiya Zhegalkin polinomasi sifatida xy⊕yz⊕zx, bu o'zgaruvchilardan kamida ikkitasi 1 va aks holda 0 bo'lganida 1 bo'ladi.

Rasmiy xususiyatlar

Rasmiy ravishda a Zhegalkin monomial aniq o'zgaruvchilarning cheklangan to'plamining hosilasi (shuning uchun) kvadratsiz ), shu jumladan mahsuloti ko'rsatilgan bo'sh to'plam, 1. U erda 2 taⁿ mumkin Zhegalkin monomiallari n o'zgaruvchilar, chunki har bir monomial har bir o'zgaruvchining mavjudligi yoki yo'qligi bilan to'liq belgilanadi. A Zhegalkin polinomi - bu Zhegalkin monomiallari to'plamining yig'indisi (eksklyuziv yoki), bo'sh to'plam 0 bilan belgilanadi. Berilgan monomialning polinomda mavjudligi yoki yo'qligi ushbu monomial koeffitsientiga mos ravishda 1 yoki 0 ga to'g'ri keladi. Zhegalkin monomiallari chiziqli mustaqil, 2 oralig'idaⁿ- o'lchovli vektor maydoni ustidan Galois maydoni GF(2) (NB: yo'q GF(2ⁿ) ko'paytirilishi ancha boshqacha). 2²ⁿ bu fazoning vektorlari, ya'ni birlik vektorlari sifatida o'sha monomiallarning chiziqli birikmalari Zhegalkin polinomlarini tashkil qiladi. Soni bilan aniq kelishuv Mantiqiy operatsiyalar kuni n o'zgaruvchan, ular tugaydigan n- {0,1} -ariy amallar, mantiqiy asos sifatida Zhegalkin polinomlarining to'liqligi uchun to'g'ridan-to'g'ri hisoblash argumentini keltiradi.

Ushbu vektor maydoni tenglamaga teng emas mantiqiy algebra kuni n generatorlar, chunki u operatsiya sifatida komplementatsiyaga ega emas (bit mantiqiy inkor) (ekvivalent sifatida, chunki u doimiy element sifatida yuqori elementga ega emas). Bu bo'shliq komplementatsiya ostida yopilmagan yoki yuqori darajaga ega emas degani emas hammasi vektor ) element sifatida, aksincha, shu va shunga o'xshash tarzda qurilgan bo'shliqlarning chiziqli o'zgarishlari komplement va tepani saqlab qolmasligi kerak. Ularni saqlaydiganlar mantiqiy homomorfizmlarga mos keladi, masalan. Zhegalkin polinomlarining vektor fazosidan bitta o'zgaruvchiga hech biriga o'zgarmasiga to'rtta chiziqli o'zgarish mavjud, ulardan faqat ikkitasi mantiqiy homomorfizmlardir.

Hisoblash usuli

Zhegalkin polinomini hisoblash uchun odatda ma'lum bo'lgan turli xil usullar mavjud.

• Aniqlanmagan koeffitsientlar usulidan foydalanish
• Qurish orqali kanonik disjunktiv normal shakl
• Jadvallardan foydalanish orqali
• Paskal usuli
• Xulosa qilish usuli
• Karnaugh xaritasidan foydalanish

Aniqlanmagan koeffitsientlar usuli

Aniqlanmagan koeffitsientlar usuli yordamida funktsiyaning barcha karterlari va ularning qiymatlaridan tashkil topgan chiziqli tizim hosil bo'ladi. Chiziqli tizimni echish Zhegalkin polinomining koeffitsientlarini beradi.

Misol

Mantiqiy funktsiyani hisobga olgan holda ${displaystyle f (A, B, C) = {ar {A}} {ar {B}} {ar {C}} + {ar {A}} B {ar {C}} + A {ar {B} } {ar {C}} + ABC}$, uni Zhegalkin polinomasi sifatida ifodalang. Ushbu funktsiyani ustunli vektor sifatida ifodalash mumkin

${displaystyle {vec {f}} = {egin {pmatrix} 1 0 1 0 1 0 0 1end {pmatrix}}}$.

Ushbu vektor aniqlanmagan koeffitsientlar vektorini chapga ko'paytirishning chiqishi bo'lishi kerak

${displaystyle {vec {c}} = {egin {pmatrix} c_ {0} c_ {1} c_ {2} c_ {3} c_ {4} c_ {5} c_ {6} c_ {7} oxiri {pmatrix}}}$

8x8 tomonidan mantiqiy matritsa bu A, B, C barcha mumkin bo'lgan bog'lovchilar qabul qilishi mumkin bo'lgan qiymatlarni ifodalaydi. Ushbu mumkin bo'lgan qiymatlar quyidagi haqiqat jadvalida keltirilgan:

${Displaystyle {egin {array} {| c | c | c | c | c | c | c | c | c | c | c |} A & B & C & ;;;;;;;; & 1 & C & B & BC & A & AC & AB & ABC hline 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 && & 1 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 1 && & 1 & 1 & 1 & 1 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 1 && & & &&&&&&&&&&&&&&&================================================================&&&&&&============.$.

Yuqoridagi haqiqat jadvalidagi ma'lumotlar quyidagi mantiqiy matritsada kodlanishi mumkin:

${Displaystyle S_ {3} = {bo'ysunamiz {pmatrix} 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 1 & 1 & 0 & 0 & 0 & 0 & 0 & 0 1 & 0 & 1 & 0 & 0 & 0 & 0 & 0 1 & 1 & 1 & 1 & 0 & 0 & 0 & 0 1 & 0 & 0 & 0 & 1 & 0 & 0 & 0 1 & 1 & 0 & 0 & 1 & 1 & 0 & 0 1 & 0 & 1 & 0 & 1 & 0 & 1 & 0 1 & 1 & 1 & 1 & 1 & 1 & 1 & 1end {pmatrix}}}$

bu erda "S" so'zi "Sierpiński" ni anglatadi, xuddi shunday Sierpińskki uchburchagi va 3-indeks uning kattaligi ko'rsatkichlarini beradi: ${displaystyle 2 ^ {3} imes 2 ^ {3}}$.

Buni matematik induksiya va blok-matritsani ko'paytirish orqali har qanday "Sierpískiy matritsasi" isbotlash mumkin. ${displaystyle S_ {n}}$ uning teskari tomoni.^{[eslatma 1]}

Keyin chiziqli tizim

${displaystyle S_ {3} {vec {c}} = {vec {f}}}$

uchun hal qilinishi mumkin ${displaystyle {vec {c}}}$:

${Displaystyle {klimatize {c}} = S_ {3} ^ {- 1} {klimatize {f}} = S_ {3} {klimatize {f}} = {bo'ysunamiz {pmatrix} 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 1 & 1 & 0 & 0 & 0 & 0 & 0 & 0 1 & 0 & 1 & 0 & 0 & 0 & 0 & 0 1 & 1 & 1 & 1 & 0 & 0 & 0 & 0 1 & 0 & 0 & 0 & 1 & 0 & 0 & 0 1 & 1 & 0 & 0 & 0 & 1 & 1 & 0 & 0 1 & 0 & 1 & 0 & 1 & 0 & 1 & 0 1 & 1 & 1 & 1 & 1 & 1 & 1 va 1end {pmatrix}} {egin {pmatrix} 1 0 1 0 1 0 0 1end {pmatrix}} = {egin {pmatrix} 1 1 1 1 1oplus 1 1oplus 1 1oplus 1oplus 1 1oplus 1oplus 1oplus 1end {pmatrix}} = {egin {pmatrix} 1 1 0 0 0 0 1 0end {pmatrix}}}$,

va Zhegalkin polinomiga mos keladigan ${displaystyle {vec {c}}}$ bu ${displaystyle 1oplus Coplus AB}$.

Kanonik disjunktiv normal shakldan foydalanish

Ushbu usul yordamida kanonik disjunktiv normal shakl (to'liq kengaytirilgan disjunktiv normal shakl ) birinchi bo'lib hisoblanadi. Keyin ushbu ifodadagi inkorlar o'zgaruvchining mod 2 yig'indisi yordamida ekvivalent ifoda bilan almashtiriladi va 1. Disjunksiya belgilari mod 2 qo'shimchasiga o'zgartiriladi, qavslar ochiladi va olingan mantiqiy ifoda soddalashtiriladi. Ushbu soddalashtirish Zhegalkin polinomiga olib keladi.

Jadvallardan foydalanish

Misol vazifasi uchun Zhegalkin polinomini hisoblash P jadval usuli bilan

Ruxsat bering ${displaystyle c_ {0}, ..., c_ {2 ^ {n} -1}}$ funktsiya uchun haqiqat jadvalining natijalari bo'ling P ning n o'zgaruvchisi, masalan ${displaystyle c_ {i}}$ning minterms ikkilik indeksatsiyasiga to'g'ri keladi^[2-eslatma]. Function funktsiyani rekursiv ravishda quyidagicha belgilang:

${displaystyle zeta (c_ {i}): = c_ {i}}$

${displaystyle zeta (c_ {0}, ..., c_ {k}): = zeta (c_ {0}, ..., c_ {k-1}) oplus zeta (c_ {1}, ..., c_ {k})}$.

Yozib oling

${displaystyle zeta (c_ {0}, ..., c_ {m}) = igoplus _ {k = 0} ^ {m} {m tanlang k} _ {2} c_ {k}}$

qayerda ${displaystyle {m tanlang k} _ {2}}$ bo'ladi binomial koeffitsient kamaytirilgan modul 2.

Keyin

${displaystyle g_ {i} = zeta (c_ {0}, ..., c_ {i})}$

bo'ladi men ^th ichida literal bo'lgan Zhegalkin polinomining koeffitsienti men ^th monomial - bu harflar bilan bir xil men ^th minterm, faqat salbiy harflar olib tashlanadi (yoki 1 bilan almashtiriladi).

B-konvertatsiya o'z teskari, shuning uchun koeffitsientlarni hisoblash uchun xuddi shu jadvaldan foydalanish mumkin ${displaystyle c_ {0}, ..., c_ {2 ^ {n} -1}}$ koeffitsientlarni hisobga olgan holda ${displaystyle g_ {0}, ..., g_ {2 ^ {n} -1}}$. Faqat ruxsat bering

${displaystyle c_ {i} = zeta (g_ {0}, ..., g_ {i})}$.

Rasmdagi jadval nuqtai nazaridan haqiqat jadvalining natijalarini nusxalash (belgilangan ustunda) P) uchburchak jadvalning eng chap ustuniga. So'ngra har bir juftning yuqori katakchasidan o'ng tomonga katakchani to'ldirish uchun vertikal ravishda qo'shni bo'lgan har bir juftga XOR qo'llash orqali ustunlarni ketma-ket chapdan o'ngga hisoblang. Barcha uchburchak jadval to'ldirilganda, yuqori satrda chiziqli kombinatsiyaning koeffitsientlari o'qiladi, soddalashtirilganda (nollarni olib tashlash) Zhegalkin polinomini hosil qiladi.

Zhegalkin polinomidan haqiqat jadvaliga o'tish uchun uchburchak jadvalning yuqori satrini Zhegalkin polinomining koeffitsientlari bilan to'ldirish mumkin (ko'pburchakda bo'lmagan musbat literallarning har qanday birikmasi uchun nol qo'yish). So'ngra hujayralarni har bir juftning chap tomondagi pastki qismiga to'ldirish uchun gorizontal ravishda qo'shni bo'lgan har bir juftga XOR qo'llash orqali qatorlarni yuqoridan pastgacha ketma-ket hisoblang. Butun uchburchak jadval to'ldirilganda, uning chap tomondagi ustunini ustunga ko'chirish mumkin P haqiqat jadvalining.

Bundan tashqari, ushbu hisoblash usuli ning ishlash uslubiga mos kelishini unutmang elementar uyali avtomat deb nomlangan 102-qoida. Masalan, mantiqiy ifodaning haqiqat jadvali (yoki kanonik ajratilgan normal shakl koeffitsientlari) natijalari bilan o'rnatilgan sakkizta katakchadan shunday uyali avtomat boshlang: 10101001. So'ngra uyali avtomatni yana yetti avlod davomida ishlating va eng chap hujayraning holatini qayd etish. Keyinchalik, ushbu hujayraning tarixi quyidagicha bo'lib chiqadi: 11000010, bu mos keladigan Zhegalkin polinomining koeffitsientlarini ko'rsatadi.^[2][3]

Paskal usuli

Mantiqiy funktsiya uchun Zhegalkin polinomini hisoblashda Paskal usulidan foydalanish ${displaystyle {ar {a}} {ar {b}} {ar {c}} + {ar {a}} b {ar {c}} + {ar {a}} bc + ab {ar {c}} }$. Pastki qismidagi rus tilidagi satrda:
${displaystyle oplus}$ - bitli operatsiya "Exclusive OR"

Zhegalkin polinomini qo'lda qurish uchun hisoblash miqdori va maqsadga muvofiqligi jihatidan eng tejamkor Paskal usuli hisoblanadi.

Iborat jadval tuzamiz ${displaystyle 2 ^ {N}}$ ustunlar va ${displaystyle N + 1}$ qatorlar, qaerda N funktsiyadagi o'zgaruvchilar soni. Jadvalning yuqori qatoriga biz funktsiya qiymatlari vektorini, ya'ni haqiqat jadvalining oxirgi ustunini joylashtiramiz.

Olingan jadvalning har bir satri bloklarga bo'linadi (rasmdagi qora chiziqlar). Birinchi satrda blok bitta katakchani egallaydi, ikkinchi qatorda - ikkitasi, uchinchisida - to'rtta, to'rtinchisida - sakkizta va hokazo. Biz "pastki blok" deb ataydigan ma'lum bir chiziqdagi har bir blok har doim oldingi satrda to'liq ikkita blokga to'g'ri keladi. Biz ularni "chap yuqori blok" va "o'ng yuqori blok" deb ataymiz.

Qurilish ikkinchi qatordan boshlanadi. Chap yuqori bloklarning tarkibi o'zgarishsiz pastki blokning tegishli katakchalariga o'tkaziladi (rasmdagi yashil o'qlar). So'ngra, "qo'shimcha modul ikki" operatsiyasi o'ng yuqori va chap yuqori bloklar ustida bittadan bajariladi va natija pastki blokning o'ng tomonidagi mos katakchalarga o'tkaziladi (rasmdagi qizil o'qlar). Ushbu operatsiya barcha satrlarni yuqoridan pastgacha va har bir satrdagi barcha bloklar bilan amalga oshiriladi. Qurilish tugagandan so'ng, pastki qatorda yuqorida tavsiflangan uchburchak usulida ketma-ketlikda yozilgan Zhegalkin polinomining koeffitsientlari bo'lgan raqamlar qatori mavjud.

Xulosa qilish usuli

Turli xil o'zgaruvchilar soniga ega funktsiyalar uchun Zhegalkin polinomining koeffitsientlarining grafik tasviri.

Haqiqat jadvaliga ko'ra, Zhegalkin polinomining individual koeffitsientlarini hisoblash oson. Buning uchun 2-modulda funktsiya qiymatlari yig'indisida bo'lmagan o'zgaruvchilar (hisoblanayotgan koeffitsientga mos keladigan) nol qiymatlarni qabul qiladigan haqiqat jadvalidagi qatorlar.

Masalan, ning koeffitsientini topishimiz kerak deylik xz uchta o'zgaruvchining funktsiyasi uchun birikma ${displaystyle f (x, y, z)}$. O'zgaruvchi yo'q y bu birikmada. O'zgaruvchan bo'lgan kirish to'plamlarini toping y nol qiymatini oladi. Bu 0, 1, 4, 5 (000, 001, 100, 101) to'plamlar. Keyin birlashma koeffitsienti xz bu

${displaystyle a_ {5} = f_ {0} oplus f_ {1} oplus f_ {4} oplus f_ {5} = f (0,0,0) oplus f (0,0,1) oplus f (1,0) , 0) oplus f (1,0,1)}$

Doimiy atamali o'zgaruvchilar mavjud emasligi sababli,

${displaystyle a_ {0} = f_ {0}}$.

Barcha o'zgaruvchilarni o'z ichiga olgan atama uchun yig'indisi funktsiyalarning barcha qiymatlarini o'z ichiga oladi:

${displaystyle a_ {N-1} = f_ {0} oplus f_ {1} oplus f_ {2} oplus ... oplus f_ {N-2} oplus f_ {N-1}}$

Zhegalkin polinomining koeffitsientlarini funktsiyalar qiymatlarining ma'lum nuqtalaridagi modullari 2 ning yig'indisi sifatida grafik ravishda ifodalaymiz. Buning uchun biz kvadrat jadval tuzamiz, bu erda har bir ustun nuqtalarning biridagi funktsiya qiymatini, qator esa Zhegalkin polinomining koeffitsientini ifodalaydi. Ba'zi ustunlar va satrlarning kesishgan nuqtasi shuni anglatadiki, funktsiyaning ushbu nuqtadagi qiymati ko'pburchakning berilgan koeffitsienti yig'indisiga qo'shiladi (rasmga qarang). Biz ushbu jadvalni chaqiramiz ${displaystyle T_ {N}}$, qayerda N funksiyaning o'zgaruvchilar soni.

Funktsiyasi uchun jadval olishga imkon beruvchi naqsh mavjud N funktsiyasi uchun jadvalga ega bo'lgan o'zgaruvchilar ${displaystyle N-1}$ o'zgaruvchilar. Yangi stol ${displaystyle T_ {N} +1}$ ning 2 × 2 matritsasi sifatida joylashtirilgan ${displaystyle T_ {N}}$ jadvallar va matritsaning o'ng yuqori bloki tozalanadi.

Panjara-nazariy talqin

Jadvalning ustunlarini ko'rib chiqing ${displaystyle T_ {N}}$ a elementlariga mos ravishda Mantiq panjarasi hajmi ${displaystyle 2 ^ {N}}$. Har bir ustun uchun ${displaystyle f_ {M}}$ aniq raqam M ikkilik raqam sifatida ${displaystyle M_ {2}}$, keyin ${displaystyle f_ {M} leq f_ {K}}$ agar va faqat agar ${displaystyle M_ {2} vee K_ {2} = K_ {2}}$, qayerda ${displaystyle vee}$ bitli YOKI belgisini bildiradi.

Agar jadval satrlari bo'lsa ${displaystyle T_ {N}}$ yuqoridan pastgacha, 0 dan raqamlar bilan raqamlangan ${displaystyle 2 ^ {N} -1}$, keyin qator raqamining jadval tarkibi R bo'ladi ideal element tomonidan yaratilgan ${displaystyle f_ {R}}$ panjara.

Jadvalning umumiy naqshiga tasodifan e'tibor bering ${displaystyle T_ {N}}$ bu a mantiqiy matritsa Sierpińskki uchburchagi. Shuningdek, naqsh an ga to'g'ri keladi elementar uyali avtomat deb nomlangan 60-qoida, chap tomondagi katak 1 ga o'rnatilgandan va boshqa barcha hujayralar o'chirilgandan boshlab.

Karnaugh xaritasidan foydalanish

Karnaugh xaritasini Zhegalkin polinomiga aylantirish.

Rasmda uchta o'zgaruvchining funktsiyasi ko'rsatilgan, P(A, B, C) a shaklida ifodalangan Karnaugh xaritasi, o'quvchi bunday xaritalarni Zhegalkin polinomlariga aylantirishning misoli sifatida ko'rib chiqishi mumkin; umumiy protsedura quyidagi bosqichlarda berilgan:

• Biz Karno xaritasining barcha kataklarini ularning kodlaridagi birliklar sonining ortish tartibida ko'rib chiqamiz. Uchta o'zgaruvchining funktsiyasi uchun hujayralar ketma-ketligi 000-100-010–001-110-101-011-111 bo'ladi. Karnaugh xaritasining har bir yacheykasi mavjud bo'lgan kod pozitsiyalariga qarab Zhegalkin polinom a'zosi bilan bog'langan. Masalan, 111 yacheykaga ABC, 101 yacheykaga AC, 010 yacheykaga, B 000 ga, 000 yacheykaga 1 mos keladi.
• Agar ko'rib chiqilayotgan katak 0 bo'lsa, keyingi katakka o'ting.
• Agar ko'rib chiqilayotgan katak 1 bo'lsa, Zhegalkin polinomiga tegishli atamani qo'shing, so'ngra Karnaugh xaritasidagi ushbu atama 1 bo'lgan barcha katakchalarni teskari kiriting (yoki ideal monomial mantiq panjarasida ushbu atama tomonidan hosil qilingan) va keyingi katakka o'ting. Masalan, 110-katakchani tekshirishda unda bitta paydo bo'lsa, unda Jhegalkin polinomiga AB atamasi qo'shiladi va Karnaugh xaritasining barcha kataklari teskari bo'ladi, buning uchun A = 1 va B = 1. Agar birlik bo'lsa 000 yacheykaga, keyin Zhegalkin polinomiga 1-atama qo'shiladi va butun Karnaugh xaritasi teskari bo'ladi.
• Transformatsiya jarayoni, keyingi inversiyadan so'ng, Karnaugh xaritasining barcha katakchalari nolga aylanganda yoki g'amxo'rlik qilmaslik holatida tugagan deb hisoblash mumkin.

Mobiusning o'zgarishi

The Möbius inversiya formulasi mantiqiy summa ifodasi va Zhegalkin polinomining koeffitsientlarini bog'laydi. Bu raqamlar nazariyasi emas, balki Mobius formulasining qisman tartib versiyasi. Qisman buyurtmalar uchun Möbius inversiya formulasi:

${displaystyle g (x) = sum _ {y: yleq x} f (y) leftrowrowrow f (x) = sum _ {y: yleq x} g (y) mu (y, x)}$^[4],

qayerda ${displaystyle mu (y, x) = (- 1) ^ {| x | - | y |}}$, |x| bo'lish Hamming masofasi ning x dan 0. beri ${displaystyle -1equiv 1}$ Zhegalkin algebrasida Mobius funktsiyasi doimiy 1 ga aylanadi.

Berilgan sonning bo'linuvchilari to'plami x shuningdek, ushbu raqam tomonidan yaratilgan tartib ideal: ${displaystyle langle xangle}$. Xulosa modul 2 bo'lganligi sababli formulani quyidagicha o'zgartirish mumkin

${displaystyle g (x) = igoplus _ {y: yin langle xangle} f (y) chap tomondagi o'q f (x) = igoplus _ {y: yin langle xangle} g (y)}$

Misol

Misol tariqasida uchta o'zgaruvchan holatni ko'rib chiqing. Quyidagi jadvalda bo'linish munosabati keltirilgan:

Keyin

${displaystyle g (000) = f (000)}$

${displaystyle g (001) = f (000) oplus f (001)}$

${displaystyle g (010) = f (000) oplus f (010)}$

${displaystyle g (011) = f (000) oplus f (001) oplus f (010) oplus f (011)}$

${displaystyle g (100) = f (000) oplus f (100)}$

${displaystyle g (101) = f (000) oplus f (001) oplus f (100) oplus (101)}$

${displaystyle g (110) = f (000) oplus f (010) oplus f (100) oplus f (110)}$

${displaystyle g (111) = f (000) oplus f (001) oplus f (010) oplus f (011) oplus f (100) oplus f (101) oplus f (110) oplus f (111)}$

Yuqoridagi tenglamalar tizimini echish mumkin fva natijani almashtirish orqali olish mumkin deb xulosa qilish mumkin g va f yuqoridagi tizim bo'ylab.

Quyidagi jadvalda ikkilik raqamlar va ular bilan bog'langan Zhegalkin monomiallari va Boolean mintermlari ko'rsatilgan:

Mantiqiy minterm	ABC	Zhegalkin monomial
${displaystyle {ar {A}} {ar {B}} {ar {C}}}$	000	1
${displaystyle {ar {A}} {ar {B}} C}$	001	C
${displaystyle {ar {A}} B {ar {C}}}$	010	B
${displaystyle {ar {A}} miloddan avvalgi}$	011	Miloddan avvalgi
${displaystyle A {ar {B}} {ar {C}}}$	100	A
${displaystyle A {ar {B}} C}$	101	AC
${displaystyle AB {ar {C}}}$	110	AB
${displaystyle ABC}$	111	ABC

Zhegalkin monomiallari tabiiy ravishda bo'linish bilan tartiblangan, Boole mintermlari esa o'z-o'zidan shunday tartibda emas; ularning har biri uchta o'zgaruvchining eksklyuziv sakkizinchi qismini anglatadi Venn diagrammasi. Monomiallarni tartiblash bit qatorlariga quyidagicha ko'chiriladi: berilgan ${displaystyle a_ {1} a_ {2} a_ {3}}$ va ${displaystyle b_ {1} b_ {2} b_ {3}}$, keyin bir juft uchlik ${displaystyle a_ {1} a_ {2} a_ {3} leq b_ {1} b_ {2} b_ {3} chap tomondagi o'q a_ {1} leq b_ {1} xanjar a_ {2} leq b_ {2} xanjar a_ { 3} leq b_ {3}}$.

Uch o'zgaruvchan mantiqiy yig'indisi va Zhegalkin polinomlari o'rtasidagi yozishma quyidagicha bo'ladi:

${displaystyle f (000) {ar ​​{A}} {ar {B}} {ar {C}} vee f (001) {ar ​​{A}} {ar {B}} Cvee f (010) {ar ​​{A }} B {ar {C}} vee f (011) {ar ​​{A}} BCvee f (100) A {ar {B}} {ar {C}} vee f (101) A {ar {B}} Cvee f (110) AB {ar {C}} vee f (111) ABC}$

${displaystyle qquad qquad equiv g (000) oplus g (001) Coplus g (010) Boplus g (011) BCoplus g (100) Aoplus g (101) ACoplus g (110) ABoplus g (111) ABC}$.

Yuqoridagi tenglamalar tizimi a shaklida umumlashtirilishi mumkin mantiqiy matritsa tenglama:

${displaystyle {egin {pmatrix} g (000) g (001) g (010) g (011) g (100) g (101) g (110) g (111) end {pmatrix) " } = {bo'ysunamiz {pmatrix} 1 && 0 && 0 && 0 && 0 && 0 && 0 && 0 1 && 1 && 0 && 0 && 0 && 0 && 0 && 0 1 && 0 && 1 && 0 && 0 && 0 && 0 && 0 1 && 1 && 1 && 1 && 0 && 0 && 0 && 0 1 && 0 && 0 && 0 && 1 && 0 && 0 && 0 1 && 1 && 0 && 0 && 1 && 1 && 0 && 0 1 && 0 && 1 && 0 && 1 && 0 && 1 && 0 1 && 1 && 1 && 1 && 1 && 1 && 1 && 1end {pmatrix}} {bo'ysunamiz {pmatrix} f (000) f (001) f (010) f (011) f (100) f (101) f (110) f (111) end {pmatrix}}}$

qaysi N. J. Vildberger Boole-Mobius o'zgarishini chaqiradi.

Quyida “XOR elektron jadval ”Yo'nalishi bo'yicha o'zgarishning shakli g ga f:

${displaystyle f_ {000}}$	${displaystyle f_ {001}}$	${displaystyle f_ {010}}$	${displaystyle f_ {011}}$	${displaystyle f_ {100}}$	${displaystyle f_ {101}}$	${displaystyle f_ {110}}$	${displaystyle f_ {111}}$
${displaystyle g_ {000}}$	${displaystyle g_ {000} oplus g_ {001}}$	${displaystyle g_ {000} oplus g_ {010}}$	${displaystyle g_ {000} oplus g_ {010} oplus g_ {001} oplus g_ {011}}$	${displaystyle g_ {000} oplus g_ {100}}$	${displaystyle g_ {000} oplus g_ {100} oplus g_ {001} oplus g_ {101}}$	${displaystyle g_ {000} oplus g_ {100} oplus g_ {010} oplus g_ {110}}$	${displaystyle g_ {000} oplus g_ {100} oplus g_ {010} oplus g_ {110} oplus g_ {001} oplus g_ {101} oplus g_ {011} oplus g_ {111}}$
${displaystyle g_ {001}}$	${displaystyle g_ {001} oplus g_ {010}}$	${displaystyle g_ {001} oplus g_ {011}}$	${displaystyle g_ {001} oplus g_ {011} oplus g_ {010} oplus g_ {100}}$	${displaystyle g_ {001} oplus g_ {101}}$	${displaystyle g_ {001} oplus g_ {101} oplus g_ {010} oplus g_ {110}}$	${displaystyle g_ {001} oplus g_ {101} oplus g_ {011} oplus g_ {111}}$
${displaystyle g_ {010}}$	${displaystyle g_ {010} oplus g_ {011}}$	${displaystyle g_ {010} oplus g_ {100}}$	${displaystyle g_ {010} oplus g_ {100} oplus g_ {011} oplus g_ {101}}$	${displaystyle g_ {010} oplus g_ {110}}$	${displaystyle g_ {010} oplus g_ {110} oplus g_ {011} oplus g_ {111}}$
${displaystyle g_ {011}}$	${displaystyle g_ {011} oplus g_ {100}}$	${displaystyle g_ {011} oplus g_ {101}}$	${displaystyle g_ {011} oplus g_ {101} oplus g_ {100} oplus g_ {110}}$	${displaystyle g_ {011} oplus g_ {111}}$
${displaystyle g_ {100}}$	${displaystyle g_ {100} oplus g_ {101}}$	${displaystyle g_ {100} oplus g_ {110}}$	${displaystyle g_ {100} oplus g_ {110} oplus g_ {101} oplus g_ {111}}$
${displaystyle g_ {101}}$	${displaystyle g_ {101} oplus g_ {110}}$	${displaystyle g_ {101} oplus g_ {111}}$
${displaystyle g_ {110}}$	${displaystyle g_ {110} oplus g_ {111}}$
${displaystyle g_ {111}}$

Tegishli ish

Zhegalkinning ishi bilan bir yilda (1927) amerikalik matematik Erik Temple Bell asosida mantiqiy algebra murakkab arifmetizatsiyasini nashr etdi Richard Dedekind ideal nazariya va umumiy modulli arifmetik (arifmetik mod 2 dan farqli o'laroq). Zhegalkin polinomlarining ancha sodda arifmetik xarakteri birinchi marta g'arbda (mustaqil ravishda Sovet va G'arb matematiklari o'rtasidagi aloqa o'sha davrda juda cheklangan) amerikalik matematik tomonidan sezilgan. Marshall Stoun 1936 yilda u o'zining nishonlangan kunini yozayotganda kuzatgan Tosh ikkilik go'yo o'xshashligi o'xshash teorema Mantiqiy algebralar va uzuklar aslida cheklangan va cheksiz algebralarning aniq ekvivalentligi sifatida shakllantirilishi mumkin, bu uni kelgusi bir necha yil ichida o'z qog'ozini sezilarli darajada qayta tashkil etishga olib keladi.

Shuningdek qarang

• Algebraik normal shakl (ANF)
• Ring normal summasi (RSNF)
• Rid-Myuller kengayishi
• Mantiqiy domen
• Mantiqiy funktsiya

Izohlar

Adabiyotlar

• Bell, Erik ibodatxonasi (1927). "Mantiq arifmetikasi". Amerika Matematik Jamiyatining operatsiyalari. 29 (3): 597–611. doi:10.2307/1989098. JSTOR  1989098.
• Gindikin, S. G. (1972). algebra logiki v задаchax [Algebraik mantiq] (rus tilida). Moskva, Rossiya: Nauka [Nauka] (Inglizcha tarjima: Springer-Verlag 1985). ISBN  0-387-96179-8.
• Tosh, Marshall (1936). "Boolean algebralari uchun vakolatxonalar nazariyasi". Amerika Matematik Jamiyatining operatsiyalari. 40 (1): 37–111. doi:10.2307/1989664. ISSN  0002-9947. JSTOR  1989664.
• Jegálkin [Zhegalkin], Ivan Ivanovovich [Ivan Ivanovich] (1927). "O texnikasi vichisleniy predlojeniy v simvolicheskoy logike" [Ramziy mantiqdagi takliflarni hisoblash texnikasi to'g'risida (Sur le calcul des offeritions dans la logique symbolique)]. Matematikheskii Sbornik (rus va frantsuz tillarida). Moskva, Rossiya. 34 (1): 9–28. Mi  msb7433. Arxivlandi asl nusxasidan 2017-10-12 kunlari. Olingan 2017-10-12.