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.
Asosiy mavzular
- Minimal dez'unktiv normal shakl (DNSh): DNSh tushunchasi va uni hosil qilish. Elementar kon'yunksiya tushunchasi. Minimal DNShning ta'rifi va xossalari.
- Soddalashtirish algoritmi: Diz'yunktiv normal shaklni soddalashtirish algoritmi. Almashtirishlar yordamida minimal DNShni hosil qilish usullari.
- Amaliy misollar: Minimal DNShni hosil qilishga doir amaliy misollar va masalalar yechish.