Formulalarning DNSH, KNSH, mukammal DNSH, mukammal KNSHini topish
Ushbu kitob mantiqiy formulalarni soddalashtirish va ularni turli normal shakllarga keltirish usullarini o'rgatadi. Unda formulalarning DNSH (diz'yunktiv normal shakl), KNSH (kon'yunktiv normal shakl), mukammal DNSH va mukammal KNSH shakllarini topish usullari ko'rsatilgan. Kitobda mantiqiy algebra qonunlari va teng kuchliliklardan foydalanib formulalarni soddalashtirish, chinlik jadvallarini tuzish va ularning asosida normal shakllarni aniqlash kabi amaliy masalalar yechiladi.
Asosiy mavzular
- Elementar kon'yunksiya va elementar diz'yunksiya: Elementar mulohazalar yoki ularning inkorlaridan tashkil topgan kon'yunksiya elementar kon'yunksiya, diz'yunksiyasi esa elementar diz'yunksiya deb ataladi.
- Formulaning normal shakllari (KNSh va DNSh): Berilgan formulaning KNSh shakli deb unga teng kuchli va elementar diz'yunksiyalarning kon'yunksiyalaridan tashkil topgan formulaga, DNSh shakli deb esa unga teng kuchli va elementar kon'yunksiyalarning dizʼyunksiyalaridan tashkil topgan formulaga aytiladi.
- To'g'ri va to'liq elementar kon'yunksiya va diz'yunksiyalar: Agar elementar kon'yunksiya (diz'yunksiya) ifodasida ishtirok etuvchi har bir elementar mulohaza shu ifodada faqat bir marta uchrasa, u holda bu ifoda toʻgʻri elementar kon'yunksiya (diz'yunksiya) deb ataladi.
- Mukammal normal shakllar (MKNSH va MDNSH): Agar formulaning KNShi (DNShi) ifodasida bir xil elementar diz'yunksiyalar (kon'yunksiyalar) boʻlmasa va barcha elementar diz'yunksiyalar (kon 'yunksiyalar) toʻgʻri hamda ifodada qatnashuvchi barcha elementar mulohazalarga nisbatan toʻliq boʻlsa, u holda bu ifoda mukammal konʼyunktiv normal shakl (mukammal diz'yunktiv normal shakl) deb ataladi.