Bul’ funksiyasini to’liqlikka tekshirish
Ushbu kitob Bul' funksiyalarini to'liqlikka tekshirish masalalariga bag'ishlangan bo'lib, mantiq algebrasining asosiy tushunchalari, funksional yopiq sinflar, Post teoremasi, to'liqlik mezonlari va ularni amaliy masalalarni yechishda qo'llash usullari ko'rib chiqiladi. Kitobda berilgan funksiyalar sistemasining to'liqligini aniqlash uchun Post jadvalidan foydalanish usuli batafsil tushuntirilgan. Shuningdek, turli funksiyalarning xususiyatlari (konstanta saqlovchi, chiziqli, monoton, o'z-o'ziga qo'shma) tekshiriladi va ularning to'liqlikka ta'siri analiz qilinadi. Kitob misollar bilan boyitilgan va mavzularni mustahkamlash uchun mashqlar taklif etilgan.