|
Hisoblash texnikasi rivojlanish tarixini tahlil qilib, bu rivojlanish ham nazariy ham amaliy asosga EGA ekanligini ko’rish mumkin
|
bet | 14/62 | Sana | 12.01.2024 | Hajmi | 3,15 Mb. | | #135281 |
Bog'liq 8-sinf Informatika fanidan dars ishlanmalarA
|
B
|
A B
|
1
|
1
|
1
|
1
|
0
|
0
|
0
|
1
|
0
|
0
|
0
|
0
|
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 (lot. disjunctio – ajrataman) deb ham atashadi Mantiqiy qo‗shish amali ikki yoki undan ortiq sodda mulohazalarni ―YOKI‖ bog‗lovchisi bilan bog‗laydi hamda va ―A yoki B‖, ―A or B‖ , ―A B‖, ―A + B‖ kabi ko‗rinishlarda yoziladi.
Mantiqiy qo‗shish amalining rostlik jadvali quyidagicha:
A
|
B
|
A B
|
1
|
1
|
1
|
1
|
0
|
1
|
0
|
1
|
1
|
0
|
0
|
0
|
A mulohaza rost bo‗lganda yolg‗on, yolg‗on bo‗lganda esa rost qiymat oladigan mulohaza hosil qilish amali mantiqiy inkor amali deb ataladi.
Bu amalni inversiya (lot. Inversio – to‘ntaraman) deb ham atashadi Mantiqiy inkor amali ―A EMAS‖ , ―not A‖ , ― A‖ , ― A ‖ ko‗rinishlarda yoziladi. Mantiqiy inkor amalining rostlik jadvali quyidagicha:
Ko‗rinib turibdiki, mantiqiy o‗zgaruvchilar, munosabatlar, mantiqiy amallar va qavslar yordamida mantiqiy ifodalar hosil qilish mumkin ekan.
Mantiqiy ifodalarda mantiqiy amallar quyidagi tartibda bajariladi: inkor ( ), mantiqiy ko‗paytirish ( ), mantiqiy qo‗shish ( ).
Teng kuchli yoki bir xil amallar ketma-ketligi bajarilayotganda amallar chapdan o‗ngga qarab tartib bilan bajariladi, ifodada qavslar ishtirok etganda dastlab qavslar ichidagi amallar bajariladi. Ichma-ich joylashgan qavslarda eng ichkaridagi qavs ichidagi amallar eng avval bajariladi.
Mantiqiy amallarga misollar keltiramiz.
1–misol. A mulohaza rost qiymat qabul qilsa, ―A va (A EMAS)‖ mulohazaning qiymatini aniqlang.
Yechish. A rost qiymat qabul qilganligi uchun (A EMAS) yolg‗on qiymatga ega bo‗ladi. U holda rost va yolg‗on qiymatlarning ko‗paytmasidan (―VA‖ amali) yolg‗on natijaga ega bo‗lamiz. Shunday qilib, javob ―yolg‗on‖ ekan.
2–misol. A va B mulohazalar rost qiymat qabul qilganda A B A mulohazaning qiymatini aniqlang.
|
|
Bosh sahifa
Aloqalar
Bosh sahifa
Hisoblash texnikasi rivojlanish tarixini tahlil qilib, bu rivojlanish ham nazariy ham amaliy asosga EGA ekanligini ko’rish mumkin
|