Fan: Informatika №1 Sana

A	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 amalideb 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” , “ ” ko‘rinishlarda yoziladi. Mantiqiy inkor amalining rostlik jadvali quyidagicha:

A	A
1	0
0	1

Ko‘rinib turibdiki, mantiqiy o‘zgaruvchilar, munosabat­lar, 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.