|
Mantiqiy o’zgaruvchilar va mantiqiy ifodalar 01 Mantiqiy funksiyalar va ularning rostlik jadvali 02 Mantiqiy sxemalar
|
| bet | 6/8 | | Sana | 24.01.2024 | | Hajmi | 2,84 Mb. | | #144703 |
Bog'liq Logic operations MANTIQIY AMALLAR VA IFODALAR
A=>B, A–>B ko‘rinishlardan biri orqali A mulohazaning implikatsiyasi bеlgilanadi.
A va B mulohazalar bir vaqtda rost yoki bir vaqtda yolg‘on bo‘lganda rost bo‘ladigan mulohazaga A va B mulohazalarning ekvivalensiyasi deyiladi.
“<=>” belgi ekvivalensiya belgisi deb ataladi. A<=>B yozuv “A mulohazadan B mulohaza va B mulohazadan A mulohaza kelib chiqadi” yoki “A bo‘ladi, faqat va faqat shu holdaki, agar B bo‘lsa” yoki “A ekvivalent B” deb o‘qiladi.Ekvivalensiya amaliga mos rostlik jadvali quyidagi ko‘rinishda bo‘ladi: Masalan, A =“972 soni 9 ga karrali”, B =“972 soni raqamlarining yig‘indisi 9 ga karrali” mulohazalari berilgan bo‘lsin. U holda A va B mulohazalarning ekvivalensiyasi “972 soni 9 ga karrali bo‘ladi, faqat va faqat shu holdaki, qachon bu son raqamlarining yig‘indisi 9 ga karrali bo‘lsa” kabi bo‘ladi. Bu ekvivalensiya – rost.
A<=>B, A<–>B ko‘rinishlardan biri orqali A mulohazaning ekvivalensiyasi bеlgilanadi
Mantiqiy ifodalarda mantiqiy amallar quyidagi ketma-ketlikda bajariladi: inversiya ( ⏋); konyunksiya (&); dizyunksiya (∨); implikatsiya (=>); ekvivalensiya (<=>).
MANTIQIY AMALLAR VA IFODALAR MANTIQIY AMALLAR VA IFODALAR
Mantiqiy ifodaning rostlik jadvalini tuzish ketma-ketligini ko‘rib chiqamiz
1. Mantiqiy ifoda tarkibida o‘zgaruvchilar soni n ni aniqlash:
|
А∨A&B. O‘zgaruvchilar lotin alifbosi harflari bilan belgilanishini bilamiz. n = 2.
|
2. Mantiqiy amallar soni k ni aniqlash:
|
Qatnashgan mantiqiy amallar: ∨, &. k = 2.
|
3. Qavslar va аmаllаrning bajarilish ketma-ketligini hisobga olgan holda mantiqiy amallarning bajarilish tаrtibini aniqlash:
|
|
|
|
Bosh sahifa
Aloqalar
Bosh sahifa
Mantiqiy o’zgaruvchilar va mantiqiy ifodalar 01 Mantiqiy funksiyalar va ularning rostlik jadvali 02 Mantiqiy sxemalar
|
