Buxoro 2022 Reja: Konyuksiya va dizyunksiya


Download 388.69 Kb.
bet1/3
Sana18.02.2023
Hajmi388.69 Kb.
#1212681
  1   2   3
Bog'liq
Mustaqil ish Diskret matematika va matematik mantiq (Azimov Azizbek)



Axborot Texnologiyalari fakulteti
1-1 ATT-22 talabasi Azimov Azizbekning Diskret matematika va matematik mantiq fanidan tayyorlagan mustaqil ishi.


Mavzu: Mukammal konyuktiv va mukammal dizyunktiv normal shakllar.

Buxoro 2022
Reja:
1. Konyuksiya va dizyunksiya.
2. Elementar konyuksiya, dizyunksiya va konyuktiv, dizyunktiv normal shakllar.
3. Mukammal konyuktiv va dizyunktiv normal shakllar.
4. Xulosa.


MKNSh MDNSh


Konyuksiya va dizyunksiya
A va B sodda mulohazalar bir paytda rost boʻlgandagina rost boʻladigan yangi (murakkab) mulohazani hosil qilish amali mantiqiy koʻpaytirish amali deb ataladi.
Bu amalni konyunksiya (lotincha: conjunctio– bog’layman) deb ham atashadi. Mantiqiy koʻpaytirish amali ikki yoki undan ortiq sodda mulohazalarni “VA” bogʻlovchisi bilan bogʻlaydi hamda “A va B” , “A and B” , “A Λ B” , “A · B” kabi koʻrinishda yoziladi.
Mantiqiy koʻpaytirishni ifodalaydigan quyidagi jadval rostlik jadvali deb ataladi:

A va B mulohazalarning kamida bittasi rost boʻlganda rost boʻladigan yangi murakkab mulohazani hosil qilish amali mantiqiy qoʻshish amali deb ataladi.
Bu amalni dizyunksiya (lotincha: disjunctio – ajrataman) deb ham atashadi. Mantiqiy qoʻshish amali ikki yoki undan ortiq sodda mulohazalarni “YOKI” bogʻlovchisi bilan bogʻlaydi hamda va “A va B”, “A yoki B” , “A V B”, “A + B” kabi koʻrinishlarda yoziladi.
Mantiqiy qoʻshish amalining rostlik jadvali quyidagicha:

Elementar konyuksiya va dizyunksiya.
x = {x1, x2, . . . , xn} berilgan bo’lsin x1, x2, . . . , xn o’zgaruvchilar hamda ᒣ, Λ, V, →, ↔ amallari yordamida mulohazalar algebrasi formulalarini hosil qilish mumkin.

Download 388.69 Kb.

Do'stlaringiz bilan baham:
  1   2   3




Ma'lumotlar bazasi mualliflik huquqi bilan himoyalangan ©fayllar.org 2024
ma'muriyatiga murojaat qiling