• 3. Dizyunksiya amali.
  • 4. Implikatsiya amali.
    		•

    8-amaliy ish




    Download 422 Kb.
    Pdf ko'rish
    bet3/4
    Sana23.01.2024
    Hajmi422 Kb.
    #143647
    1   2   3   4
    Bog'liq
    8-Amaliy ish Diskret

    2. Konyunksiya amali (k.a). x va y o‘zgaruvchi mulohazalar ustida bajariladigan 
    k.a (^), (∙) yoki (&) ko‘rinishda va bu amal natijasida xosil bo‘ladigan mulohazani x

    y 
    yoki 
    y
    x •
    yoki x&y yoki x&y=min(x,y) ko‘rinshda belgilaymiz.
    Ta’rif. Ikkala x va y mulohaza chin bo‘lsagina ularning kon’yunksiyasi x

    y 
    mulohaza qiymati chin, x va y ning kamida bitasi yolg‘on bo‘lsa x

    y mulohaza 
    yolg‘ondir.
    3. Dizyunksiya amali. x va y o‘zgaruvchi mulohazalar ustida bajariladigan 
    diz’yunksiya amali v ko‘rinishda va bu amal natijasida hosil bo‘ladigan mulohazani 
    xvy yoki xvy=max(x,y) ko‘rinishda belgilanadi.
    Ta’rif. Ikkala x va y mulohaza xam yolg‘on bo‘lgandagina ularning dizyunksiyasi 
    xvy mulohaza qiymati yolg‘on, x va y ning kamida bittasi chin bo‘lsa xvy chindir.
    Dizyunksiya amali «yoki» bog‘lovchisiga mos keladi. Bu tarif jadval ko’rinishida 
    quyidagicha bo’ladi.
    4. Implikatsiya amali. x mulohaza y mulohazani implikatsiyalaydi degan amal 
    kiritilib, bu amal 
    →
    ko‘rinishda belgilanadi. Bu amal natijasida hosil bo‘lgan
    mulohaza x
    →
    y shaklda yoziladi. 
    Ta’rif. Faqat x chin va y yolg‘on bo‘lgandagina (x
    →
    y) implikatsiya yolg‘on 
    bo‘lib, boshqa hamma hollarda (x
    →
    y) chindir.
    x
    →
    y implikatsiya ushbu mazmundagi mulohazalarga: x bajarilsa y bajariladi, x 
    dan y hosil bo‘ladi, x dan y kelib chiqadi, x bajarilgani uchun y bajariladi va x.k.larga
    mos keladi. 
    x 
    y 
    x
    →
    y 
    1 
    1 
    1 
    0 
    1 
    0 

    0 
    0 
    1 
    0 
    1 
    1 
    Bunday muloxazalar shartli mulohazalar deyiladi.
    Matematikada x
    →
    y implikatsiya zaruriy shartni ifodalovchi, yani u bajarilishi 
    uchun x bajarilishi zarur degan teoremaga mos keladi. Matematikada yana yetarli 
    shartni ifodalavchi, yani u bajarilishi uchun x bajarilishi yetarli degan teorema xam 
    implikatsiyaga mos keladi.

    Download 422 Kb.
    1   2   3   4




    Download 422 Kb.
    Pdf ko'rish