Bu ma'ruzada mantiqiy algebraning asosiy qonunlari va funktsional qurilmalar o'rgatiladi. Raqamli turdagi qurilmalar shart bo'lib, Bu algebrasi yoki Buimantig'idan bahsoladi