Логика высказываний. Пример решения задачи.