Логика высказываний Лекция 4 Формализация высказываний Закон де моргана примеры