• Qarama – qarshi kontakt. 12.3-Ta’rif .
  • 12-amaliy mashg’ulot. Mukammal diz’yunktiv normal shakldagi bul funksiyalarini karno kartalari orqali soddalashtirish. Ikkilik mantiqiy amallariga mos sxemalar tuzish Reja




    Download 365.4 Kb.
    bet2/4
    Sana01.02.2023
    Hajmi365.4 Kb.
    #40481
    1   2   3   4
    Bog'liq
    amaliy 12 (1)
    matematik tasavvur mustaqil ish, skorostno silovaya podgotovka, 1670163586(1), Sirojbek (3), majburiylarga to`g`ri to`rtburchak va kvadrat., Stanoklar kinematikasi va yuritmalari, Kurs ishi mavzu Sinf rahbarining oila va jamoatchilik, Ish joyidagi mikroiqlim va uni ta\'minlash. Ishlab chiqarish joylarida mikroiqlimning normallashtirilgan parametrlari sanoat bino, elektr-energiyasi-rejimlarining-xususiyatlari-va-ularning-parametrlari, Ornatilgan Tizimlar, 2 5255991195124894487, MEXANIKA, ДИЛШОД ЛЛО, 2 курс машинасозлик (2)
    Kontaktlar kompozitsiyasi.
    12.1-Ta’rif. x va u kontaktlarning kompozitsiyasi deb, ularni ketma – ket ulash natijasida xosil buladigan ushbu sxemaga aytiladi:



    Kontaktlar yigindisi.
    12.2-Ta’rif. x va u kontaktlarning yigindisi deb, ularni parallel ulash natijasida xosil buladigan ushbu sxemaga aytiladi:





    Qarama – qarshi kontakt.
    12.3-Ta’rif. x kontaktga qarama – qarshi kontakt deb, x kontakt yopik bulganda ochik, x kontakt ochik bulganda yopik bo‘luvchi kontaktga aytiladi.

    Quyidagi kontaktlar mos ravishda doimo yopik va doimo ochik kontaktlar deyiladi:

    yopik – 1 ochiq - 0
    Yuqorida keltirilgan operatsiyalar yordamida uzgaruvchilari kontaktlardan iborat bulgan funksiyalar tuzish mumkin.
    Xakikatan, kontaktning yopik xolatini 1, ochik xolatini esa 0 bilan belgilaylik. Bir necha kontaktlardan parallel va ketma – ket ulash natijasida tuzilgan murakkab sxema kontaktlar funksiyasi bulib, bu funksiya xam 1 yoki 0 qiymat kabul kiladi. Bundan tashkari, x va u uzgaruvchilarga mos ravishda x va u kontaktlar mos kelsa, u xolda ularning konyuksiyasi va dizyunksiyasiga kontaktlarni ketma – ket va parallel ulashdan iborat sxema mos kelishi ravshandir. Shunday kilib, muloxazalar algebrasining xar bir keltirilgan formulasiga (inkor amali fakat uzgaruvchilar ustida kelsa) mos kantaklardan tuzilgan yagona sxema mos kelar yekan. Malumki muloxazalar algebrasining xar bir formulasini keltirilgan formula kurinishiga keltirish mumkun. (teorema)
    Bu esa kontaktlar tuplamida muloxazalar algebrasida malum bir manoda yekvivalent bulgan sxema kurish mumlun yekanligini kursatadi.
    Kontaklar algebrasi deb ataluvchi bu algebraning bazi tengkuchliliklarini kurib chikaylik:
    1. , . Ya’ni,

    2. Kontaktlar yig‘indisi kommutativ operatsiyadir. xvy=yvx.

    3. Kontaktlar ko‘paytmasi kommutativdir. xy = yx.

    4. Kontaktlar yig‘indisi assotsiativlik xossasi. xv(yvz) = (xvy)vz.

    5. Kontaktlar kompozitsiyasi assotsiativligi. (xy)z=x(yz).

    6. Kontaktlar kompozitsiyasi yig‘indiga nisbatan distributivdir. x(yvz)=xy v xz.

    7. Kontaktlar yig‘indisi kompozitsiyasiga nisbatan disributivdir. xv(yz) = (xvy)(xvz).

    8. Kontaktlar yig‘indisi idempomentdir. x v x=x.

    9. Kontaktlar yig‘indisi uchun yutilish qonuni. x(xvy)=x.

    10. Kontaktlar kompozitsiyasi idempotent operatsiyadir. xx=x.

    11. Kontaktlar kompozitsiyasi uchun yutilish qonuni. xv(xy)=x.

    12. Kontaktlar yig‘indisi uchun De Morgan qonuni. .

    13. Kontakt kompozitsiyasi uchun De Morgan qonuni.

    14. Uchinchisini inkor etish qonuni. .

    15. Qarama - qarshilik qonuni. .

    16.

    a) x v 1 = 1; b) x v 0 = x;

    v) x * 1 = x; g) x * 0 = 0.
    Yuqorida keltirilgan qonunlar barcha kontaktlar to‘plami kontaktlarni ketma-ket ulash, parallel ulash va kontaktga qarama-qarshi kontaktni topish operatsiyalariga nisbatan Bul algebrasi tashkil etishini ko‘rsatadi.
    Yuqorida mulohazalar algebrasining har bir keltirilgan U(x1, x2, …, xn) formulasiga x1, x2, …, xn o‘zgaruvchi kontaktlardan tuzilgan yagona sxema mos kelishi aytilgan edi.
    Aksincha, kontaktlarning ixtiyoriy sxemasiga mulohazalar algebrasining ma’lum bir keltirilgan formulasi mos keladi.

    Download 365.4 Kb.
    1   2   3   4




    Download 365.4 Kb.

    Bosh sahifa
    Aloqalar

        Bosh sahifa



    12-amaliy mashg’ulot. Mukammal diz’yunktiv normal shakldagi bul funksiyalarini karno kartalari orqali soddalashtirish. Ikkilik mantiqiy amallariga mos sxemalar tuzish Reja

    Download 365.4 Kb.