Minimal DNSH
Ushbu kitob mantiq algebrasi funksiyalarini minimallashtirish masalasiga bag'ishlangan. Unda minimal diz'yunktiv normal shaklni (DNSh) hosil qilish usullari ko'rib chiqiladi. Ishda minimal DNSh tushunchasi, uni hosil qilish algoritmlari va soddalashtirish usullari muhokama qilinadi.