Guruh: 210-21 Bajardi: Shavkatillayev Sardor

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.
Misol uchun, ifoda DNF, lekin SDNF emas. Ifoda  SDNF hisoblanadi.
Shunga o'xshash ta'riflar (dizyunksiya uchun birikmani almashtirish bilan va aksincha) CNF va SKNF uchun to'g'ri keladi. Biz aniq formulalarni taqdim etamiz.
Oddiy ajralish chaqirdi ajralish bitta yoki bir nechta o'zgaruvchilar, da bu har biri o'zgaruvchan kiritilgan emas Ko'proq bitta marta (yoki o'zi, yoki uni inkor qilish).Masalan, ifoda oddiy diszyunksiya,
Konyunktiva normal shakl(KNF) chaqirdi birikma oddiy ajralishlar(masalan, ifoda - CNF).
Mukammal kon'yunktiv normal shakl (CKNF) - bu CNF bo'lib, unda har bir oddiy dis'yunksiya berilgan ro'yxatdagi barcha o'zgaruvchilarni (o'zlari yoki ularning inkorlari) va bir xil tartibda o'z ichiga oladi.

Agar DNFda ajratilgan atamalar orasida atamalar mavjud bo'lsa  , keyin biz butun diszyunksiyaga atama qo'shamiz TO 1 TO 2. Biz ushbu operatsiyani bir necha marta (ketma-ket mumkin, bir vaqtning o'zida mumkin) barcha mumkin bo'lgan atama juftliklari uchun bajaramiz va keyin biz odatdagi singdirishni qo'llaymiz;

Agar qo'shilgan atama allaqachon DNFda mavjud bo'lsa, uni butunlay yo'q qilish mumkin, masalan,yoki
Albatta, qisqartirilgan DNF yagona aniqlanmagan, ammo ularning barchasi bir xil miqdordagi harflarni o'z ichiga oladi (masalan, DNF mavjud  , unga Bleyk qoidasini qo'llaganingizdan so'ng, berilgan DNF ekvivalentiga erishish mumkin):