КДФ и СКДФ

Ushbu kitob diskret matematika asoslariga bag'ishlangan bo'lib, unda mantiqiy ifodalar, normal formalar (KNF, SKNF), graf nazariyasi va kombinatorika kabi mavzular yoritilgan. Kitobda nazariy ma'lumotlar, misollar, testlar va foydalanilgan adabiyotlar ro'yxati keltirilgan.

Asosiy mavzular

KNF va SKNF: Kon'yunktiv normal forma (KNF) va mukammal kon'yunktiv normal forma (SKNF) tushunchalari, ularni qurish usullari va bir formadan ikkinchisiga o'tish algoritmlari ko'rsatilgan.
KNF ni qurish: Bu bo'limda berilgan mantiqiy formulani KNFga keltirish usullari, shu jumladan ekvivalent almashtirishlar va De Morgan qonunidan foydalanish ko'rsatilgan.
KNF dan SKNF ga o'tish: KNFni SKNFga aylantirish algoritmi, jumladan har bir diz'yunktivga yetishmayotgan o'zgaruvchilarni qo'shish va qavslarni ochish usullari keltirilgan.
Masalalarni yechish namunalari: KNF va SKNFni topishga, mantiqiy ifodalarni soddalashtirishga va rostlik jadvallarini tuzishga oid misollar keltirilgan.
Testlar: Diskret matematika asoslari bo'yicha bilimlarni tekshirish uchun test savollari berilgan.