• Kommutativlik qonuni
  • Idempotentlik ( tavtologiya ) qonuni
  • Yutilish q onuni
  • Teng kuchli formulalar, tavtologiya va ziddiyatlar
  • Mukammal diz’yunktiv normal shakl (MDNSH) va Mukammal kon’yuktiv normal shakl (MKNSH), uni tuzilishi usuli
  • MDNSh (MKNSh
  • Diz’yunktiv normal shakl
  • Xulosa Foydalanilgan adabiyotlar
  • Kompyuter injiniring fakulteti




    Download 0,6 Mb.
    bet4/4
    Sana03.12.2023
    Hajmi0,6 Mb.
    #110278
    1   2   3   4
    Bog'liq
    Mustaqil ish 3diskrit
    Отчет студентов 114, Rajabov, Далолатнома , zebra, Mustaqil ishi Mavzu Rekursiv algoritmlar va ularning vazifalari, 1-mavzu. Ma’lumotlar bazasini loyihalash va administratorlash-fayllar.org, novroz, Oila huquqi 2-mavzu (автовосстановление), MEHNAT KODEKSIGA SHARH 1, Развитие науки и культуры Республики Каракалпакстан в годы независимости, Yakuniy savollar, 8644, Falsafa fanidan ma’ruza matnlari Mavzu Falsafa fanining predmet, \'jamiyat falsafasi
    N=22n
    Bu yerda, N-Bul funksiyalar soni, n- argumentlar soni.
    Bu formuladan bitta argument uchun to’rtta Bul funktsiyasi mavjudligi kelib chiqadi: y=x takrorlash funksiyasi, y= inkor funksiyasi, y=1 birlik konstanta, y=0 nol konstantasi deyiladi.
    Bul algebrasi qonunlari, konyunksiya va dizyunksiya amallari uchun:

    1. Kommutativlik qonuni: х1Λх22Λх1 х1221

    2. Assotsiativlik qonuni: х1Λ(х2Λх3)=х1Λх2Λх3

    3. х1V(х23)=(х12)Vх3123

    4. Idempotentlik (tavtologiya) qonuni: хΛх=х хVх=х

    5. Bosh toplam qonuni: хΛ0=0 хV0=х

    6. Universaltoplamqonuni: хΛ1=х хV1=1

    7. Taqsimot qonuni: х1Λ(х23)=х1Λх21Λ х3

    8. х1V(х2Λх3)=(х12)Λ(х13)

    9. Yutilish qonuni: х11Λх21 х1Λ(х1)=х1

    10. Birlashish (yopilishqonuni: 12)Λ(х1V )=хх1Λх21Λ =х1


    Teng kuchli formulalar, tavtologiya va ziddiyatlar
    A va B formulalar berilgan bo’lsin. elementar mulohazalarning har bir qiymatlari satri uchun A va B formulalarning mos qiymatlari bir xil bo’lsa, A va B formulalarga teng kuchli formulalar deb aytiladi va bu A  B tarzda belgilanadi.
    J -Aynan chin formulalar yoki tavtologiya.
    Aynan yolg’on (doimo yolg’on) yoki bajarilmaydigan formulalar.






    Mukammal diz’yunktiv normal shakl (MDNSH) va Mukammal kon’yuktiv normal shakl (MKNSH), uni tuzilishi usuli
    Elementar diz’yunkstiya (elementar kon’yunkstiya) to’g’ri elementar diz’yunkstiya (elementar kon’yunkstiya) deb aytiladi, shunda va faqat shundagina, qachonki elementar diz’yunkstiya (elementar kon’yunkstiya) ifodasida har bir elementar mulohaza xi bir marta qatnashgan bo’lsa.

    Diz’yunktiv normal shakl (kon’yunktiv normal shakl) MDNSh (MKNSh) deb aytiladi, agar DNSh (KNSh) ifodasida bir xil elementar kon’yunkstiyalar (elementar diz’yunkstiyalar) bo’lmasa va hamma elementar kon’yunkstiyalar (elementar diz’yunkstiyalar) to’g’ri va to’liq bo’lsa.


    Normal shakllar.
    Har bir fikr algebrasi formulasi uchun unga teng kuchli bo‘lgan va faqatgina inkor ⌐, kon’yunksiya &, diz’yunksiya \/ amallarini o‘z ichiga olgan formulani keltirish mumkin. Buning uchun implikasiya va ekvivalensiyadan qutulish qoidalaridan foydalanish kifoya.
    Ta’rif 1. A1, A2, …, An fikr o‘zgaruvchilarining kon’yunktiv bir hadi deb, ushbu o‘zgaruvchilar yoki ularning teskarilarining kon’yunksiyasiga aytiladi.
    Masalan: ⌐A1&A2&A3 , ⌐A1&A2&A3&⌐A4
    Ta’rif 2. A1, A2, …, An fikr o‘zgaruvchilarining diz’yunktiv bir hadi deb, ushbu o‘zgaruvchilarning yoki ularning teskarilarining diz’yunksiyasiga aytiladi.
    Masalan: ⌐A1\/A2\/A3
    Diz’yunktiv normal shakl (DNSh) deb, kon’yunktiv bir hadlar diz’yunksiyaga aytiladi, ya’ni ai , i=1, 2, …, k kon’yunktiv bir hadlar bo‘lsa a1\/a2\/…\/an - ifodaga Diz’yunktiv normal shakl deyiladi.
    Kon’yunktiv normal shakl (KNSh) deb, dizyunktiv bir hadlar kon’yunksiyasiga ayiladi, ya’ni bi , i=1, 2, …,l kon’yunktiv bir hadlar bo‘lsa, b1&b2&…&b2 – ifoda KNSh deyiladi.
    Har bir formula uchun cheksiz ko‘p KNSh, DNSh lari mavjud.



    Xulosa
    Foydalanilgan adabiyotlar

    1. https://jdpu.uz/wp-content/uploads/2020/08/Matematika.-%D0%A5%D0%B0%D0%BC%D0%B8%D0%B4%D0%BE%D0%B2%D0%B0.pdf

    2. http://kompy.info/algoritmlarni-loyihalash-fanidan-mustaqil-ishi.html?page=3

    Download 0,6 Mb.
    1   2   3   4




    Download 0,6 Mb.