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

3. Dizyunktiv birhadlarning kon’yunksiyasiga kon’yunktiv normal shakl (KNSh) deyiladi.Misol. (⌐A₁\/A₂\/A₃ )&(A₁\/⌐A₂\/⌐A₃) . Har bir formulaning cheksiz ko‘p KNSh, DNSh lari mavjud.Ta’rif 1. Agar birhadda A_i yoki ⌐A_i formulalar juftligidan faqat bittasi qatnashgan bo‘lsa, A₁, A₂, …, A_n mulohaza o‘zgaruvchilarining kon’yunktiv yoki diz’yunktiv birhadlari mukammal deyiladi.Ta‘rif 2. Agar kon’yunktiv normal shaklda A₁,A₂,…,A_n mulohaza o‘zgaruvchilarning takrorlanmaydigan mukammal diz’yunktiv birhadlari qatnashgan bo‘lsa, u holda mukammal kon’yunktiv normal shakl (MKNSh) deyiladi.Ta‘rif 3. Agar diz’yunktiv normal shaklda A₁,A₂,…,A_n mulohaza o‘zgaruvchilarning takrorlanmaydigan mukammal kon’yunktiv birhadlari qatnashgan bo‘lsa, u holda mukammal diz’yunktiv normal shakl (MDNSh) deyiladi.
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.
9-Ta’rif. E.k. da ishtirok etayotgan barcha belgilar soni K ning uzunligi deyiladi.Masalan, ning uzunligi .10-Ta’rif. Tupikli DNSh eng qisqa DNSh deyiladi, agarda undagi konyunsiyalari uzunliklarining yig‘indisi boshqa tupikli DNSh larga nisbatan eng kichik bo‘lsa.