1. Agar funktsiya a ni b ga turli qiymatli akslantirish bo‘lsa, u holda funktsiya a va b to‘plamlarning o‘zaro bir qiymatli mosligi

2. Mulohaza va uning qiymatlari. Matematik mantiqning boshlang‘ich tushunchalaridan biri mulohaza tushunchasidir. “Mulohaza” deganda biz rost yoki yolg‘onligi haqida fikr yuritishi mumkin bo‘lgan darak gapni tushunamiz. Har qanday mulohaza yo rost yoki yolg‘on bo‘ladi. Hech bir mulohaza bir vaqtning o‘zida ham rost ham yolg‘on bo‘la olmaydi. Masalan, “ ”, “ ”, “5 son tub son”, “1 son tub son”, “o‘g‘limning yoshi otasining yoshidan katta” mulohazalarining birinchisi – rost, ikkinchisi yolg‘on, uchinchisi – rost, 4 chi va 5 chilari esa yolg‘on mulohazalardir.
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!” Ta’rif . 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.Misol. A: ”0 soni 1 sonidan kichik”B: “Bugun havo iliq”.
Ta’rif . Sodda mulohazalardan mantiqiy bog`lovchilar yoki mantiqiy amallar yordamida hosil qilingan mulohazaga murakkab mulohaza deyiladi.
Misol. C: “7 tub son va 6 toq son” D: “Oy Yer atrofida aylanadi yoki O`zbekiston Yevropada joylashgan”Mulohaza ikkita qiymatdan birini “rost”, ya`ni “1” yoki “yolg‘on”, ya`ni “0” ni qabul qiladi. Bu qiymatlarga mulohazaning rostlik qiymatlari deyiladi. Ta’rif. Mulohazaning rostlik qiymatlaridan tuzilgan jadvalga rostlik jadvali deyiladi.
3. 4-Ta’rif. funksiyani ifodalovchi DNSh- tupikli DNSh deyiladi, agarda uning tarkibida birorta ham e.k. va birorta ham hadni tashlab yuborish mumkin bo‘lmasa.Masalan: tupikli DNSh, chunki bundan ni tashlab yuborish, shuningdek, e.k. ni ham tashlab yuborish mumkin emas.Faraz qilaylik, funksiyani ifodalaydigan tupikli DNSh lar bo‘lsin.5-Ta’rif. Agar DNSh₁ tupikli DNSh ning o‘zgaruvchilar soni, DNSh₂ tupikli DNSh ning o‘zgaruvchilar soniga nisbatan kichik bo‘lsa, u xolda tupikli DNSh₁ minimal DNSh deyiladi. 6-Ta’rif. Agar DNSh₁ tupikli DNSh ning kon’yunksiyalar soni, DNSh₂ tupikli DNSh ning konyuksiyalar soniga nisbattan kichik bo‘lsa, u xolda tupikli DNSh₁ qisqa DNSh deyiladi.7-Ta’rif. Har qanday minimal DNSh eng qisqa DNSh bo‘ladi.8-Ta’rif. Har qanday qisqa DNSh minimal DNSh bo‘lmaydi.