Mantiqiy ifodalarni xotirada saqlash uchun ma’lumotlar strukturasini tanlash




Download 0,79 Mb.
Pdf ko'rish
bet5/20
Sana27.06.2024
Hajmi0,79 Mb.
#266014
1   2   3   4   5   6   7   8   9   ...   20
Bog'liq
Jumayev Almurod Kenja ogli

Mantiqiy ifodalarni xotirada saqlash uchun ma’lumotlar strukturasini tanlash 
va ularni qayta ishlash algoritmi. 
Mantiqiy formulalarni tahlil qilishda quyidagi asosiy qoidalar va sxemalar 
qo’llaniladi: 
Shakl o’zgartirishga tegishli bo’lgan formulalarni soddalashtirishni sxema bilan 
berilish qoidalarini qaraymiz: 
NOT TRUE

 FALSE,NOT FALSE 

 TRUE, 
TRUE AND kon‘yunksiya 

 kon‘yunksiya, 
kon‘yunksiya AND TRUE 

 kon‘yunksiya, 
TRUE OR formula 

 TRUE, 
FALSE AND kon‘yunksiya 

 FALSE, 
formula OR TRUE 

 TRUE, 
kon‘yunksiya AND FALSE 

 FALSE, 
FALSE OR formula 

formula, 
formula OR FALSE 

formula, 
NOT (formula1 AND formula2) 

NOT formula1 OR NOT formula2, 
NOT (formula1 OR formula2) 

NOT formula1 AND NOT formula2, 
o’zgaruvchi1 OR o’zgaruvchi1 AND o’zgaruvchi2 

 o’zgaruvchi2, 
NOT ( NOT formula ) 

 formula, 
o’zgaruvchi OR o’zgaruvchi 

 o’zgaruvchi, 
o’zgaruvchi AND o’zgaruvchi 

 o’zgaruvchi, 
NOT o’zgaruvchi AND o’zgaruvchi 

o’zgaruvchi . 
Ko’pgina formulalarning ichki tasvirlanishi bilanmasalaning bu yechimi ildizli 
daraxt bo’ladi. Faraz qilamiz, olingan formulaga uni ildizli daraxt ko’rinishida F-ildiz 
bilan tasvirlash amalga oshdi. U holda uning soddalashtirilishini bu daraxtdan 


10 
o’tishning qandaydir eslatilgan algoritmik tili modifikatsiyasi yordamida realizatsiya 
qilish nunkin. Modifikatsiya daraxtdan o’tishning qurilishigabog’liq bo’ladi[8]. 
Rekursiyalarning ijro etilish imkoniyat imavjud bo’lsa, bunday o’tishni rekursiv 
protsedura yordamida yozish mumkin. 
Mantiqiy ifodalarni qiymatini hisoblashda ularning yozuvidagi qavslardan 
qutulish va amallar ketma-ketligini hisoblashda ularning imtiyoziga rioya qilish uchun 
uni teskari polyakcha yozuvini (T.P.Y) hosil qilish lozim. Bunda, inkor amalining 
imtiyozi 4, konyunksiyaniki 3, dizyunksiyaniki 2, qolgan amallarniniki 1 va ochilgan 
qavsniki 0 deb qabul qilinadi. 
T.P.Y ga o’tgan ifodalar qiymatini ketma-ket chapdan o’nga tomon hisoblash 
mumkin.Mantiqiy ifodani T.P.Y ga almashtirishning ikkita eng ko’p uchraydigan usuli 
mavjud. 

Download 0,79 Mb.
1   2   3   4   5   6   7   8   9   ...   20




Download 0,79 Mb.
Pdf ko'rish

Bosh sahifa
Aloqalar

    Bosh sahifa



Mantiqiy ifodalarni xotirada saqlash uchun ma’lumotlar strukturasini tanlash

Download 0,79 Mb.
Pdf ko'rish