Mavzu
: Bul algebrasi. Ikkilik mantiqiy amallar. Kon’yunksiya,
diz’yunksiya, inkor, implikatsiya, ekvivalentlik amallari.
1.
Bul algebrasi. Ikkilik mantiqiy amallarga oid asosiy tushunchalar.
Sodda va murakkab mulohazalar.
Ta’rif 1. Rost yoki yolg‘onligi aniq bo‘lgan darak gap
mulohaza deyiladi.
So`roq va undov
gaplar mulohaza hisoblanmaydi, ya`ni: “Bugun
kinoga
kiramizmi?” yoki “Kitobga tegma!”
Mulohazalar lotin alifbosining bosh harflari bilan belgilanadi: A, B, C, ….
Agar mulohaza rost bo`lsa A=1, yolg‘on bo`lsa A=0
deb belgilaymiz, ba`zi
adabiyotlarda, shuningdek, “Informatika va hisoblash texnikasi” fanining
“ALGOL”,
“BOOLEAN”, “C++” dasturlash tillarida rost mulohazaga “T”, ya`ni “true” so´zining,
yolg`on mulohazaga “F”, ya`ni “false” so`zining bosh harflari ishlatiladi.
Misol 1. 1. А=”Ikki ko`paytiruv olti 14 ga teng”=0
2. В=”Ikki qo`shuv ikki 4 ga teng”=1
3. С=”Qor oq”=1
4. Д="Bugun dushanba bo`lsa, u holda ertaga seshanba bo`ladi”=1
5. Z=”agar 1+1=3 bo`lsa, u holda jumadan keyin yakshanba keladi”=?
Mulohazalar sodda yoki murakkab bo‘lishi mumkin.
Ta’rif 2. Agar A mulohazaning o‘zi bir tasdiq bo‘lib, ma’nosi bo’yicha u bilan
ustma - ust tushmaydigan bir qismini ajratib ko‘rsatish mumkin bo‘lmasa, u holda
A mulohazaga
sodda mulohaza deyiladi.