Otaqulov E. (Ilmiy rah. Doliev Sh).
Ushbu kitob tupikli diz'yunktiv normal shakllarni (TDNSh) yasash usullarini o'rganishga bag'ishlangan. Unda TDNShning geometrik ma'nosi, TDNShni yasash algoritmi va amaliy misollar keltirilgan. Kitobda formulalarni soddalashtirish, chinlik jadvalini tuzish va shu orqali TDNShni topish usullari ko'rsatilgan.