Решение задачи, с помощью логической модели

§2.2 Знаковые модели
Задание 5. Решите, составив логическую модель, следующую задачу.
На международных соревнованиях по прыжкам в воду первые пять мест заняли спортсмены из Германии, Италии, Китая, России и Беларуси. Ещё до начала соревнований эксперты высказали свои предположения об их итогах.
1) Первое место займёт спортсмен из Китая, а спортсмен из Беларуси будет третьим.
2) Беларусь будет на последнем месте, а Германия — на предпоследнем.
3) Германия точно будет четвёртой, а первое место займёт Китай.
4) Россия будет первой, а Италия — на втором месте.
5) Италия будет пятой, а победит Германия.
По окончании соревнований выяснилось, что каждый эксперт был прав только в одном утверждении. Какие места в соревновании заняли участники?

Пусть будет Германия – Г, Италия – И, Китай – К, Россия – Р и Беларусь – Б.

Обозначим предположения экспертов таким видом: страна + занятое место. 
Тогда
(К1 v Б3) & (Б5 v Г4) & (Г4 v К1) & (Р1 v И2) & (И5 v Г1) = 1

Согласно условию, в скобках только одно утверждение верное. 

Предположим, что Г1 = 1. Тогда К1 = 1, Б5 = 1. Но теперь у предположения (4) оба высказывания будут истинными, что не может быть. 
Значит Г1 = 0, а И5 = 1, то есть Италия займёт 5-е место.

Теперь можно перейти к предположению (4), где И2 = 0, так как И5 = 1. Значит Р1 = 1, то есть Россия займёт 1-е место. 

В предположении (1) и (2) К1 = 0, так как Р1 = 1. Значит Б3 = 1, то есть Беларусь займёт 3-е место, а Г4 = 1, то есть Германия займёт 4-е место. 

Остаётся Китай, который займёт 2-е место. 

Ответ: Россия – 1 место, Китай – 2 место, Беларусь – 3 место, Германия – 4 место, Италия – 5 место.