Во второй части учебного пособия излагаются основные знания об алгебре логических операций, а также о формальных теориях - исчисление высказываний и исчисление предикатов. Книга предназначена для студентов первых курсов университетов, обучающихся по специальности ПРИКЛАДНАЯ МАТЕМАТИКА И ИНФОРМАТИКА и ФУНДАМЕНТАЛЬНЫЕ ИНФОРМАТИКА И ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ; разработана на основе курса ОСНОВЫ ДИСКРЕТНОЙ МАТЕМАТИКИ.