Zbekiston respublikasi raqamli texnologiyalar vazirligi muhammad al-xorazmiy nomidagi

Ta’rif 4. A₁, A₂, …, A_n mulohaza o‘zgaruvchilarning yoki ularni inkorlarining diz’yunksiyasi diz’yunktiv birhad deyiladi.
Misol. ⌐A₁\/A₂\/A₃ , .
Ta’rif 5. Kon’yunktiv birhadlarning diz’yunksiyaga diz’yunktiv normal shakl (DNSh) deyiladi.
Misol. ⌐A₁&A₂&A₃ \/ ⌐A₁&A₂&A₃&⌐A₄ , A&B\/ ⌐A&B\/A&⌐C;
Ta’rif 6. 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.
Mukammal diz’yunktiv va mukammal kon’yuktiv normal shakllar(MDNSH,MKNSH)
Ta’rif 7. 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 8. 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 9. 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 1. A&B\/⌐A&B\/A&⌐B – MDNSh;
(⌐A₁\/A₂\/A₃ )&(A₁\/⌐A₂\/⌐A₃) – MKNSh bo‘ladi.
Misol 2. formulani DNSh ga keltiramiz.





 – MDNSh.