Ushbu matnda mantiq algebrasidagi formulalarning mukammal normal shakllari, jumladan KNSh va DNShlar, to'g'ri va to'liq elementar kon'yunksiya va diz'yunksiyalar haqida ma'lumot berilgan. Formulalarni MKNSh va MDNShga keltirish algoritmlari ham o'rganiladi