Across
- 1. Tenglikni saqlovchi funksiyalar qanday ataladi? (10 harf): Saqlovchilar
- 2. Predikatlar va kvantorlar (15 ta)
- 3. Jegalkin teoremasining asosiy maqsadi nima? (11 harf): Optimizatsiya
- 5. Predikatlarning algebraik ifodalari? (9 harf): Ekvivalensiya
- 6. Matematik mantiqda kvantorlarning o‘rni qanday? (8 harf): Asosiylik
- 9. Mavjudlik kvantorining ramziy belgisi? (1 harf): ∃
- 10. Bul funksiyalarning eng katta soni qanday hisoblanadi? (12 harf): Kombinatorika
- 11. Mulohazalarni mantiqiy bog‘lash jarayoni qanday ataladi? (10 harf): Kombinatsiya
- 12. Mantiqiy formulani tahlil qilishning asosiy usuli nima? (13 harf): Chinlilik jadvali
- 14. Jegalkin kophadlari qanday ko‘rinish hosil qiladi? (15 harf): Algebraik tizim
- 15. Formulaning qism qismlarini qanday aniqlaymiz? (9 harf): Qism formula
- 17. Predikatlarning teskari munosabatini qanday yozamiz? (8 harf): Inversiya
- 19. Chin va yolg‘on qiymatlar orasidagi munosabatni tushuntiring. (8 harf): Negatsiya
- 20. Chin yoki yolg‘on qiymatlarga ega elementlar (8 harf): Mulohazalar
- 22. Jadval usulidan foydalanib funksiya soddalashtirish (8 harf): Minimallashtirish
- 26. Qanday operatorlar mantiqning to‘liq sistemasini tashkil qiladi? (9 harf): Sistemalar
- 27. Ikki mulohazaning chin yoki yolg‘onligi orasidagi munosabat? (12 harf): Teng kuchlilik
- 28. Bul algebra formulalarini eng sodda shaklga keltirish usuli (9 harf): Optimizatsiya
- 30. Biror predikatni boshqa formuladan hosil qilish usuli? (10 harf): Transformatsiya
- 31. Kvantorlar orqali maxsus predikatlarni aniqlash? (9 harf): Tasniflash
- 32. Jegalkin ko‘phadlari va Bul algebra (15 ta)
- 33. Bir mantiqiy ifoda boshqa ifodaga qanday qarama-qarshi bo‘ladi? (8 harf): Inversiya
- 35. Mavjudlik kvantori ko‘pincha qanday misollar uchun ishlatiladi? (9 harf): Tasdiq
- 36. Predikatlar algebrasi nimani o‘rganadi? (10 harf): Mantiqiy aloqa
- 38. Berilgan mulohaza qiymatlarini tekshirish uchun qanday jadval ishlatiladi? (13 harf): Chinlilik jadvali
- 39. “Mantiqiy va” amali nimani anglatadi? (10 harf): Konjunksiya
Down
- 1. Bul funksiyasining asosiy algebraik qoidasi? (11 harf): Dual tamoyil
- 2. Mulohazalar algebraida ishlatiladigan asosiy jadval? (13 harf): Chinlilik jadvali
- 3. Bul funksiyalarning eng oddiy turi (10 harf): Elementar
- 4. Funksiyalarning teng kuchli ko‘rinishini qanday aniqlaymiz? (13 harf): Teng kuchlilik
- 7. Bul algebra funksiyalarini ikki asosiy ko‘rinishda yozish usuli? (8 harf): Duallik
- 8. Qanday funksiyalar o‘z-o‘ziga teng bo‘ladi? (17 harf): O‘z-o‘ziga dual
- 10. Biror funksiyaning o‘ziga qarshi shakli nima? (6 harf): NOT
- 11. Chinlik jadvali yordamida funksiyaning minimal ko‘rinishini topish usuli? (8 harf): Reduksiya
- 13. Biror formulani boshqa teng kuchli formulaga almashtirish? (13 harf): Teng kuchlilik
- 14. Funksiyalarni sxemalar orqali tasvirlash jarayoni? (12 harf): Diagramma
- 16. Kvantorlar yordamida ko‘plab xulosalarni qanday yozamiz? (10 harf): Kvantifikatsiya
- 17. Biror formula ustidan matematik induksiya bajarish? (7 harf): Induksiya
- 18. Predikatlarni diagramma orqali tasvirlash? (6 harf): Hasse
- 21. Biror predikatning qiymatini qanday topamiz? (8 harf): Hisoblash
- 23. “Ikki tomonlama implikatsiya” deganda nimani tushunasiz? (3 harf): IFF
- 24. Chinlikni saqlovchi funksiyalar qaysi turga kiradi? (10 harf): Chinlik tutuvchilar
- 25. Umumiylik kvantorining ramziy belgisi? (1 harf): ∀
- 28. Nol va bir qiymatni saqlovchi funksiyalar (10 harf): Saqlovchilar
- 29. Predikatlar algebrasining asosiy amali? (8 harf): Logika
- 31. Biror ifodaning chin yoki yolg‘onligini isbotlash? (6 harf): Tahlil
- 32. Relatsion algebrada ishlatiladigan asosiy amallar (8 harf): Kompozitsiya
- 33. Bul algebra orqali texnik sxemalarni tasvirlash? (11 harf): Elektronika
- 34. Chin qiymatli barcha kombinatsiyalarni ko‘rsatuvchi jadval? (12 harf): To‘liq jadval
- 37. Kvantorlar yordamida mulohaza shakllarini yozish? (10 harf): Tizimlashtirish
- 38. “Mantiqiy yoki” amali nimani anglatadi? (10 harf): Disjunktsiya
- 39. Implikatsiya deganda nimani tushunasiz? (11 harf): Natija