mulohazalar algebrasi formulasining normal shakllari

PDF 61 стр. 1,6 МБ Бесплатная загрузка

Предварительный просмотр (5 стр.)

Прокрутите вниз 👇
1 / 61
7-§. mulohazalar algebrasi formulasining normal shakllari. mukammal dizyunktiv va konyunktiv normal shakllar. diz’yunktiv normal shakl. 7.1- ta’rif. elementar mulohazalar yoki ularning inkorlarini kon’yunksiya amali orqali bog’lanishigan hosil bo’lgan ifodaga elementar kon’yunksiya deyiladi. elementar konyunksiyani formula ko’rinishida ifodalash uchun quyidagi belgilashni kiraitamiz:       0 , 1 ,    agarx agarx x ( 7.1) endi, (7.1) ga asosan elementar kon’yunksiyani (e.k.) formula ko’rinishida quyidagicha ifodalash mumkin: n n xxxk  21 21  , bunda  1,0i , ni ,,2,1  (7.2) 7.1-misol:      zxyzyx  | dnsh ko’rinishiga keltiring yechimi: quyidagi ayniyatlardan foydalanamiz: yxyx  (a) yxyxyx | (b) xyyxyx  (c) yxyx  (d) xxx  (e) 11,11  xx (f) 11,1  xxx . (j) bu formulalarni ketma-ket qo’llab quyidagiga ega bo’lamiz: - zyxzyx  )()( - yzyzxyzyxyzyxyzyxyzyx  )()())((|))(( - zxxzyzyzxxzyzyzx  distributivlik va yutilish qonunini qo’llab: …
2 / 61
mal diz’yunktiv normal shakl (mdnsh) deyiladi.       n n n n а n xxxxxxа       21 21 21 21 1,,, ,,,21 ,,,   (7.4) 0 dan tashqari istalgan   n xxxа ,,, 21  formulani mukammal diz’yunktiv normal shaklga keltirish mumkin. 7.2-misol:    zyyx  mdnsh ko’rinishiga keltiring yechimi: 1 usul (jadval usuli): mdnsh ifodasini aniqlashning jadval usuli quydagicha: 1. berligan formulaning chinlik jadvali tuziladi (7.1-jadval); 2. chinlik jadvalidan funksiyaning 1 ga teng bo’lgan qiymatlari to’plamini  n ,,, 21  ajratib olinadi; 3. har bir ajratib olingan qiymatlari to’plamiga mos elementar kon’yunksiyalar tuziladi; 4. hosil bo’lgan elementar kon’yunksiyalar diz’yunksiya amali bilan bog’lanadi. 7.1-jadval x y z yx  zy     zyyx  0 0 0 0 1 1 1 1 0 0 1 1 0 0 1 1 0 1 0 1 …
3 / 61
iz zxzxzxxxxzx  )(1))(( natijada     zyxzxyx  . 7.8- ta’rif. elementar diz’yunksiyada har bir o’zgaruvchi bir martadan ortiq (yoki o’zi, yoki inkori) qatnashmasa, bunday elementar diz’yunksiya to’g’ri elementar diz’yunksiya deyiladi. 7.9- ta’rif. to’g’ri elementar diz’yunksiyada funksiyaning har bir nxxx ,,, 21  o’zgaruvchisi ishtirok etsa, bunday elementar diz’yunksiya nxxx ,,, 21  o’zgaruvchilarga nisbattan to’liq elementar diz’yunksiya deyiladi. 7.10- ta’rif. knsh ifodasida barcha elementar diz’yunksiyalar nxxx ,,, 21  o’zgaruvchilarga nisbattan to’liq va to’g’ri bo’lib, takrorlanuvchilari bo’lmasa mukammal kon’yunktiv normal shakl (mknsh) deyiladi.        n n n n а n xxxxxxа         21 21 21 21 0,,, ,,,21 &,,, (7.6) 1 dan tashqari istalgan   n xxxа ,,, 21  formulani mukammal kon’yunktiv normal shaklga keltirish mumkin. 7.4-misol:   xzyx  mknsh ko’rinishiga keltiring yechimi: 1 usul (jadval usuli): mknsh ifodasini …
4 / 61
z’yunksiyalarni) mavjud bo’lmaydi. 2. birorta ham elementar kon’yunksiyada (elementar diz’yunksiyada) ikkita bir xil o’zgaruvchi qatnashmaydi. 3. elementar kon’yunksiyada (elementar diz’yunksiyada) birorta o’zgaruvchi o’zining inkori bilan birgalikda qatnashmaydi. 4. to’liq elementar kon’yunksiyada (elementar diz’yunksiyada) formulaga kiruvchi barcha ix o’zgaruvchi, yoki uning inkori bo’lgan ix o’zgaruvchi qatnashadi. mantiq algebrasidagi arifmetik amallar. jegalkin ko‘phadi. mantiq algebrasidagi arifmetik amallar. {0,1} bul algebrasidagi konyunksiya amali oddiy arifmetikadagi 0 va 1 sonlar ustidagi ko‘paytma amaliga mos keladi. ammo 0 va 1 sonlarini qo‘shish natijasi {0,1} to‘plam doirasidan chetga chiqadi. shuning uchun i.i.jegalkin2 moduliga asosan qo‘shish amalini kiritdi. x va y mulohazalarni 2 moduli bo‘yicha qo‘shishni yx  deb belgilaymiz. 2 moduli bo‘yicha qo‘shish, odatda, chinlik jadvali bilan beriladi (7.3-jadvalga qarang). 7.3-jadval x y yx  0 0 0 0 1 1 1 0 1 chinlik jadvalidan ko‘rinib turibdiki, yxyx  bo‘ladi. mantiq algebrasidagi ko‘paytma va 2 moduli bo‘yicha qo‘shish mantiq amallari uchun kommutativlik, assotsiativlik va distributivlik …
5 / 61
garuvchilar birinchi darajada qatnashadi, ),...,( 1 kii qiymatlar satrida hamma ji lar har xil bo‘ladi, }1,0{2 ea . 7.12-t a ’ r i f . axxx kiii  ... 21 ko‘rinishdagi funksiya chiziqli funksiya deb ataladi, bu yerda }1,0{2 ea . chiziqli funksiyaning ifodasidan ko‘rinib turibdiki, n ta argumentli chiziqli funksiyalar soni 12 n ga teng va bir argumentli funksiyalar doimo chiziqli funksiya bo‘ladi. jegalkin ko‘phadi ko‘rinishidagi har bir funksiyaning argumentlari soxta emas argumentlar bo‘ladi. haqiqatan ham, agar 1x shunday argument bo‘lsa, u holda ixtiyoriy ),...,( 1 nxxf funksiyani quyidagi ko‘rinishda yozish mumkin: ),...,(),...,(),...,( 2211 nnn xxxxxxxf   . bu yerda  funksiya aynan 0ga teng emas, aks holda 1x argument f funksiyaning (ko‘phadning) argumentlari safiga qo‘shilmasdi. 1 1 0 endi nxx ,...,2 argumentlarning shunday qiymatlarini olamizki, 1 bo‘lsin. u holda f funksiyaning qiymati 1x argumentning qiymatiga bog‘liq bo‘ladi. demak, 1x soxta argument emas. mantiq algebrasidagi hamma n argumentli …

Хотите читать дальше?

Скачайте все 61 страниц бесплатно через Telegram.

Скачать полный файл

О "mulohazalar algebrasi formulasining normal shakllari"

7-§. mulohazalar algebrasi formulasining normal shakllari. mukammal dizyunktiv va konyunktiv normal shakllar. diz’yunktiv normal shakl. 7.1- ta’rif. elementar mulohazalar yoki ularning inkorlarini kon’yunksiya amali orqali bog’lanishigan hosil bo’lgan ifodaga elementar kon’yunksiya deyiladi. elementar konyunksiyani formula ko’rinishida ifodalash uchun quyidagi belgilashni kiraitamiz:       0 , 1 ,    agarx agarx x ( 7.1) endi, (7.1) ga asosan elementar kon’yunksiyani (e.k.) formula ko’rinishida quyidagicha ifodalash mumkin: n n xxxk  21 21  , bunda  1,0i , ni ,,2,1  (7.2) 7.1-misol:      zxyzyx  | dnsh ko’rinishiga keltiring yechimi: quyidagi ayniyatlardan foydalanamiz: yxyx  (a) yxyxyx | (b) xyyxyx  (c) yxyx  (d) xxx  (e) 11,11  …

Этот файл содержит 61 стр. в формате PDF (1,6 МБ). Чтобы скачать "mulohazalar algebrasi formulasining normal shakllari", нажмите кнопку Telegram слева.

Теги: mulohazalar algebrasi formulasi… PDF 61 стр. Бесплатная загрузка Telegram