Mavzu: mukammal kon’yuktiv normal shakl (mknsh),uni tuzish usullari. Bajardi: Rahimov U. Tekshirdi: Qo’ldoshev H



Yüklə 297,44 Kb.
səhifə1/3
tarix15.12.2022
ölçüsü297,44 Kb.
#75192
  1   2   3
Mavzu mukammal kon’yuktiv normal shakl mknsh,uni tuzish usull




O’zbekiston Respublikasi Axborot Texnologiyalari va kommunikatsiyalarini qo’llab quvvatlash vazirligi
Muhammad Al-Xorazmiy nomidagi Toshkent Axborot Texnologiyalari Universiteti KIF fakulteti 219-21 guruhi talabasi Rahimov UDiskret tuzilmalar fanidan tayyorlagan

MUSTAQIL ISH




Mavzu: MUKAMMAL KON’YUKTIV NORMAL SHAKL (MKNSH),UNI TUZISH USULLARI.

Bajardi: Rahimov U.
Tekshirdi: Qo’ldoshev H.
Toshkent 2022.

REJA
KIRISH


1.NORMAL SHAKLLAR VA MUKAMMAL NORMAL SHAKLLAR


2.MUKAMMAL KON’YUKTIV VA MUKAMMAL KON’YUKTIV NOR-


MAL SHAKL.

3.MKNSH.

4.DNSH va KNSH.

XULOSA.

FOYDALANILGAN ADABIYOTLAR.

Normal shakllar.



  • 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 https://hozir.org/mavzu--mantiqiy-elementlar-va-sxemalar-v3.html?page=10

Mukammal normal shakllar



  • Mukammal normal shakllar

  • Ta’rif 5. Agar bir hadga Ai yoki ⌐Ai formulalar juftligidan faqat bittasi kirgan bo‘lsa, A1, A2, …, An fikr o‘zgaruvchilarining kon’yunktiv yoki diz’yunktiv bir hadlari mukammal deyiladi.

  • Ta‘rif 6. Agar KNSh yoki DNSh larda A1, A2, …, An o‘zgaruvchilarning takrorlanmaydigan mukammal bir hadlari kirgan bo‘lsa, A1, A2, …, An fikr o‘zgaruvchilarining KNSh yoki DNSh lari mukammal deyiladi.

  • Masalan: A&B\/⌐A&B\/A&⌐B – A va B fikr o‘zgaruvchilarining Mukammal diz’yunktiv normal shakli (MDNSh) bo‘ladi. A\/B – esa MKNSh bo‘ladi.

  • Teorema 1. Har bir ayniy yolg‘on bo‘lmagan formula yagona MDNF ega bo‘ladi.

  • Teorema 2. Har bir tavtologiya bo‘lmagan fikrlar algebrasi formulasi, yagona MKNSh ga ega bo‘ladi.




Yüklə 297,44 Kb.

Dostları ilə paylaş:
  1   2   3




Verilənlər bazası müəlliflik hüququ ilə müdafiə olunur ©azkurs.org 2024
rəhbərliyinə müraciət

gir | qeydiyyatdan keç
    Ana səhifə


yükləyin