Takliflar algebrasi murosaga kelmaydigan aniq fandir. Konyunksiya, disjunksiya, implikatsiya va boshqalar bilan misollarni yechish uchun Excel ilovasida haqiqat jadvalini qurishingiz mumkin. U natijani topish jarayonini avtomatlashtiradigan va osonlashtiradigan mantiqiy funksiyalar to‘plami bilan jihozlangan.
Matematik mantiq: asosiy tushunchalar
Aristotel formal mantiq asoschisi hisoblanadi. 17-asrda G. Leybnits bayonotlarni aniqlash uchun belgilarni kiritishni taklif qildi. D. Buhl olingan bilimlarni mustahkamladi va birinchi marta gaplarni belgilar bilan belgiladi.
Sxematik ravishda "TRUE" 1 ga, "FALSE" 0 ga almashtirildi.
Bayonot ostida har qanday ma'lumot beruvchi va haqiqat yoki yolg'onning qiymatini olishga qodir bo'lgan har qanday deklarativ jumla tushuniladi. Algebrada mantiq jumlalarning semantik yukidan abstrakt qilinadi va faqat mantiqiy qiymatlarni hisobga oladi.
Inkor qilish yangi ifoda boʻlib, agar u notoʻgʻri boʻlsa, true qiymatini oladi va aksincha.
Ikkining birikmasio'zgaruvchilar yangi jumla deb ataladi, u bir vaqtning o'zida "1" belgilanishida haqiqat va boshqa holatlarda yolg'onlik qiymatini oladi.
Ikki gapning diszyunksiyasi deganda bir vaqtning oʻzida boshqa oʻzgarishlarda “0” va “TRUE” boʻlsagina “YOLGʻON” qiymatini qabul qiluvchi yangi ifoda tushuniladi.
Ikki oʻzgaruvchining maʼnosi yangi jumla boʻlib, unda:
- agar asos rost va natijasi notoʻgʻri boʻlsa, ifoda “0” ga teng;
- bayon boshqa hollarda "1" ga teng.
Ikki oʻzgaruvchining ekvivalenti deganda, agar elementlar bir xil boʻlsagina haqiqat qiymatini oladigan yangi bayonot tushuniladi. Aks holda, taklif “0”.
Ifodalarning mantiqiy qiymatlari odatda jadval shaklida taqdim etiladi. Bunday ma'lumotlarning boshqa nomi ham bor. Ularning aytishicha, bayonot uchun siz haqiqat jadvalini yaratishingiz kerak. U barcha o'zgaruvchilar uchun boshlang'ich qiymatlarni belgilaydi va keyin butun ifoda natijasi hisoblanadi.
Mantiqiy operatsiyalarda hisob-kitoblarni amalga oshirish algoritmi
Haqiqat jadvalini tuzish uchun harakatlarning bajarilish tartibini bilish kerak. Bir nechta operandli ifodada hisoblash quyidagi tartibda amalga oshiriladi:
- inversiya (inkor);
- bog’lanish (Exceldagi mantiqiy funksiya "VA");
- disjunction (Excel "OR" da mantiqiy operator);
- ta'sir (natija);
- ekvivalentlik.
Yana ikkita operatsiya bor, lekin ularning ustuvorligi aniqlanmagan:
- Schefer insult;
- Teshuvchi strelka.
Hisoblash algoritmi agar ifoda qavs ichiga olingan boʻlsa, oʻzgaradi.
Excelda mantiqiy operandlar uchun jadval shaklini yaratish tartibi
Ifoda qiymatini topishdan oldin mantiq algebra formulasi tushunchasini oʻrganish kerak. Ta'rifda aytilishicha, bu murakkab ibora bo'lib, u mantiqiy operandlar bilan bog'langan eng oddiy iboralardan iborat.
1-misol. Konyunksiya, disjunksiya va inkor uchun haqiqat jadvalini tuzing.
Misol 2. Mantiq algebrasi formulasi berilgan. Haqiqat jadvalini tuzing. Quyida misollar keltirilgan.
Misol 3. Og'zaki tavsifda mantiq algebrasining formulasi berilgan Excelda haqiqat jadvalini qurish. Aytish: "Agar uchburchak teng yonli bo'lsa, uning barcha qirralari teng yoki barcha burchaklari tengdir."
Avval qoʻshma gapni minimal elementlarga ajratishingiz kerak:
- Ifodaning birinchi qismi: A="teng qirrali uchburchak".
- Ikkinchi: B="rasmning barcha tomonlari teng".
- Uchinchi: C="uchburchakning barcha burchaklari teng".
Bundan keyin ifoda kompilyatsiya qilinadi va Excel dasturiy paketida yechiladi.
Haqiqat jadvallarini tuzishda amallar tartibini eslab qolish muhim.
