Р.В.Шамин. Лекции по информатике. Лекция №4. Тема №1 «Исчисление высказываний»