Mantiqiy masalalarni echish ko'ngil ochar va foydali ishdir. Uning o'ziga xos xususiyati shundaki, dastlab faqat yolg'on va haqiqiy bayonot mavjud, formulalar yo'q. O'zining samaradorlik maydoniga ega bo'lgan bir necha asosiy echim usullarini ko'rib chiqamiz.
Ko'rsatmalar
1-qadam
Fikrlash usuli - eng sodda - ketma-ket mulohaza yuritishga asoslangan (masalaning shartidan kelib chiqadi) va ularni haqiqat yoki yolg'onlik uchun tekshirish va keyingi barcha bayonotlar tasdiqlangan asl nusxaga asoslanadi.
Masalan. Ona va qizning yoshi jami 98 yosh. Qizim onam 22 yoshida tug'ilgan. Ikkalasi ham necha yoshda? Yechim: ularning yoshidagi farq 22 yoshni tashkil etganligi sababli (onaning qizi shu yoshda edi), keyin 98 - 22 = 76 (yil). Bu qizning yoshidan ikki baravar katta, keyin 76: 2 = 38 (yil). Bu shuni anglatadiki, onalar 98 - 38 = 60 (yil).
2-qadam
Jadvallar usuli - bu so'zma-so'zlar shartlariga ko'ra jadval tuzishni va olingan xulosalarga qarab 0 yoki 1 raqamlarni ketma-ket to'ldirishni nazarda tutadigan ingl.
Masalan. Suv bilan to'la 8 litrlik idish bor.
Agar 3 va 5 litr hajmdagi bo'sh idishlar bo'lsa, qanday qilib 4 litrni to'kib tashlash kerak? Qaror:
3-qadam
Blok-sxemalar usuli konteynerlar va og'irliklar bilan bog'liq muammolarni hal qilishda qo'llaniladi va variantlarni sanash uslubiga qaraganda ancha qulaydir (bu bizga umumiy qoidalar chiqarishga imkon bermaydi). Birinchidan, buyruqlar hosil bo'ladi (bajarilgan amallar bilan bir xil), so'ngra ularning sxematik ketma-ketligi tuziladi. Bu muammoni hal qilishga olib keladigan dasturlashda taniqli oqim sxemasi. Ushbu usulning mantiqiy davomi kompyuter yordamida echish usuli hisoblanadi. Olingan algoritmni dasturlash tiliga o'tkazishda uning mohiyati.
4-qadam
Algebraik yechim usuli mantiqiy tenglamalar tizimini echishni o'z ichiga oladi. Muammoning shartidan kelib chiqadigan barcha bayonotlar harflar bilan belgilanadi va formulalar shaklida yoziladi. Olingan tenglamalar tizimini echish (birini ikkinchisiga ko'paytirish), haqiqiy bayon chiqariladi.
5-qadam
Tizimni echishning grafik usuli ham mumkin. Buning uchun tizimning olingan tenglamalari asosida mantiqiy aloqalar diagrammasi ("mantiqiy shartlar daraxti") tuziladi. Bundan tashqari, mantiqiy summa dallanishni anglatadi va mahsulot quyidagi shartlarni birin-ketin anglatadi. Qaror tahlildan kelib chiqadi. Bunga Eyler doiralari usuli ham kiradi - to'plamlarning kesishishi yoki birlashishini aks ettiruvchi geometrik sxema.
6-qadam
Traektoriyalar nazariyasiga asoslangan billiard usuli ham qiziq emas.
Biroq, uni batafsil ko'rib chiqish uchun alohida, juda qiziqarli, maqola kerak bo'ladi.
