Mukammal diz’yunktiv va mukammal kon’yuktiv normal shakllar(MDNSH,MKNSH) Barcha mulohazalarni tadqiq qilish oson bo’lishi uchun mantiqiy qonunlar yordamida biror umumiy standart ko’rinishga keltirish mumkin.
Ta`rif 2. A mulohaza va uning qabul qilishi mumkin bo’lgan qiymatlari bo’lsin. U holda quyidagi tenglik o’rinli:
Tasdiq. bo’ladi, faqat va faqat A= bo’lsa.
Isbot qilish uchun rostlik jadvalini tuzish yetarli:
A
0
0
1
0
1
0
1
0
0
1
1
1
Barcha mulohazalarni tadqiq qilish oson bo’lishi uchun mantiqiy qonunlar yordamida ularni biror umumiy standart ko’rinishga keltirish mumkin. Masalan, har qanday Bul algebrasi formulasi uchun unga teng kuchli bo‘lgan va faqatgina inkor ⌐, kon’yunksiya & va diz’yunksiya \/ amallarini o‘z ichiga olgan formulani yozish mumkin. Buning uchun implikasiya va ekvivalentlikdan qutilish qonunlaridan foydalanish yetarli.
Ta’rif 3. A1, A2, …, An mulohaza o‘zgaruvchilarning yoki ularni inkorlarining kon’yunksiyasi kon’yunktiv birhad deyiladi.
Misol. ⌐A1&A2&A3, ⌐A1&A2&A3&⌐A4, A&B, ⌐A&B, A&⌐C;
⌐(A&C) – kon`yunktiv birhad bo’la olmaydi, chunki agar qavs ochilsa, kon`yunktsiya amali diz`yunktsiya amaliga aylanib qoladi.
