КДФ и СКДФ
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.