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.
Do'stlaringiz bilan baham: |