ссылка на исходный код git

Игра основана на логической задаче Р. Смаллиана из книги «Принцесса или тигр?».

Текст задачи:

Представь, что перед тобой две двери, ведущие в отдельные комнаты. Известно, что в каждой из этих комнат находится милая кошка или страшный паук.

Может быть так, что в обеих комнатах находятся кошки или в обеих комнатах находятся пауки. При этом в каждой из комнат всегда находится кто-то один. На каждой двери есть табличка с надписью.

Первое условие говорит о правдивости надписей, например,

Известно, что одна дверь говорит чистую правду, а другая подло лжет.

Далее есть две таблички с условиями, например:

1. Ни в одной из этих комнат нет паука.
2. Паук сидит в этой комнате.

Решение задачи:

Все возможные варианты рассадки

1. Паук - Паук
2. Паук - Кошка
3. Кошка - Паук
4. Кошка - Кошка

Само условие и его отрицание должны составлять полный набор всех возможных событий, то есть:

Пусть А - Ни в одной из этих комнат нет паука. Тогда А=4, ¬А=1,2,3

Пусть B - Паук сидит в этой комнате. Тогда В=1,3, ¬В=2,4

При этом известно, что одна дверь говорит чистую правду, а другая подло лжет.

А ∧ ¬В= 4 ∧ (2,4) =4

¬В ∧ А=(1,2,3) ∧ (1,3)=1,3

В первом случае у нас только один вариант, а во втором два. Выбираем один, то есть 4. В этом случае у нас в каждой комнате сидит по кошке.