Условие задачи
В студенческой олимпиаде участвовали студент А, В, С и D. Было высказано предположения о возможных победителях:
1) первым будет С, В будет вторым;
2) вторым будет С, D будет третьим;
3) А будет вторым, D четвёртым.
По окончании олимпиадных соревнований оказалось, что в каждом из предположений только одно из высказываний истинно, другое ложно.
Какое место на соревнованиях занял каждый из участников, если все они заняли разные места.
Ответ
Запишем высказывания формулами:
C1 означает, что С будет первым, аналогично для всех остальных высказываний.
С1*В2
С2*D3
A2*D4
Поскольку в каждом высказывании истинно только одно, то будем иметь следующие утверждения:
С1*В2 С1*В2 v С1*В2
С2*D3 С2*D3 v С2*D3
A2*D4 A2*D4 v A2*D4
Для решения необходимо взять конъюнкцию всех утверждений.
(С1*В2 v С1*В2)*(...
