Решение логической задачи

Предположим, что сегодня – понедельник. Тогда Сергей лжет, говоря, что вчера говорил правду. Вчера было воскресенье, и Сергей должен был лгать. Значит, его слова сегодня – ложь, и сегодня он действительно лжет. Это возможно.

Теперь посмотрим на Олега. Он говорит, что вчера лгал. Если сегодня понедельник, то вчера было воскресенье, когда Олег говорил правду. Значит, его слова сегодня – ложь, и сегодня он говорит правду, чего быть не может.

Предположим, сегодня – вторник. Тогда Сергей говорит правду, говоря, что вчера говорил правду. Вчера был понедельник, когда Сергей должен был лгать. Значит, его слова сегодня – ложь, и сегодня он лжет, чего быть не может.

Теперь посмотрим на Олега. Он говорит, что вчера лгал. Если сегодня вторник, то вчера был понедельник, когда Олег говорил правду. Значит, его слова сегодня – ложь, и сегодня Олег говорит правду, чего быть не может.

Предположим, сегодня – среда. Тогда Сергей говорит правду, говоря, что вчера говорил правду. Вчера был вторник, когда Сергей говорил правду. Значит, его слова сегодня – правда, и сегодня он говорит правду, что возможно.

Теперь посмотрим на Олега. Он говорит, что вчера лгал. Если сегодня среда, то вчера был вторник, когда Олег должен был лгать. Значит, его слова сегодня – правда, и сегодня он говорит правду, что возможно.

Предположим, сегодня - четверг. Тогда Сергей лжет, говоря, что вчера говорил правду. Вчера была среда, и Сергей должен был говорить правду. Значит, его слова сегодня - ложь, и сегодня он лжет, что возможно.

Теперь посмотрим на Олега. Он говорит, что вчера лгал. Если сегодня четверг, то вчера была среда, когда Олег должен был лгать. Значит, его слова сегодня - правда, и сегодня он должен говорить правду, чего быть не может, так как Олег правду говорит только в понедельник, четверг, субботу и воскресенье.

Следовательно, сегодня среда. Сергей говорит правду, Олег говорит правду.

Ответ: Сегодня среда. Сергей говорит правду, Олег говорит правду.