Mavzu: Fikrlar(Mulohazalar) algebrasi, asosiy amallar, xossalari, to’liq amallar sistemasi. Reja: Fikrlar(Mulohazalar) algebrasi, asosiy amallar, xossalari, to’liq amallar sistemasi

Download 23,33 Kb.
bet	2/3
Sana	21.12.2023
Hajmi	23,33 Kb.
	#126094

1 2 3

Bog'liq
diskret fanidan mustaqil ish

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 yoki B”, “A or B” , “A V B”, “A + B” kabi
koʻrinishlarda yoziladi.
Mantiqiy qoʻshish amalining rostlik jadvali quyidagicha:

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 (
lotincha
: Inversio – to’ntaraman)
deb ham atashadi Mantiqiy inkor amali “A EMAS” ,
“not 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.

Misol uchun: 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.

Download 23,33 Kb.

1 2 3

Download 23,33 Kb.