Buxoro 2022 Reja: Konyuksiya va dizyunksiya

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 = {x₁, x₂, . . . , x_n} berilgan bo’lsin x₁, x₂, . . . , x_n o’zgaruvchilar hamda ᒣ, Λ, V, →, ↔ amallari yordamida mulohazalar algebrasi formulalarini hosil qilish mumkin.