Теоретические основы информатики Лекция 4 Основы алгебры логики