Ushbu taqdimot bakalavr darajasidagi talabalar uchunmantiqiy avtomatika fani uchun yaratilgan. Mantiqiy algebra asoslari;Mantiqiy mulohazalar va ular ustida amallar;AND, OR, NOT mantiqiy elementlari;Mantiqiy funksiyalar;Rostlik jadvallarini tuzish;Bul algebrasi qonunlari;Mantiqiy ifodalarni soddalashtirish;Mantiqiy sxemalarni tuzish va tahlil qilish;Amaliy masalalar va ularning bosqichma-bosqich yechimlari;Avtomatlashtirish tizimlariga oid amaliy misollar keltirilgan