cats_and_spiders

ссылка на исходный код git Игра основана на логической задаче Р. Смаллиана из книги «Принцесса или тигр?». Текст задачи: Представь, что перед тобой две двери, ведущие в отдельные комнаты. Известно, что в каждой из этих комнат находится милая кошка или страшный паук. Может быть так, что в обеих комнатах находятся кошки или в обеих комнатах находятся пауки. При этом в каждой из комнат всегда находится кто-то один. На каждой двери есть табличка с надписью. Первое условие говорит о правдивости надписей, например, Известно, что одна дверь говорит чистую правду, а другая подло лжет. Далее есть две таблички с условиями, например: Ни в одной из этих комнат нет паука. Паук сидит в этой комнате. Решение задачи: Все возможные варианты рассадки Паук - Паук Паук - Кошка Кошка - Паук Кошка - Кошка Само условие и его отрицание должны составлять полный набор всех возможных событий, то есть: Пусть А - Ни в одной из этих комнат нет паука. Тогда А=4, ¬А=1,2,3 Пусть B - Паук сидит в этой комнате. Тогда В=1,3, ¬В=2,4 При этом известно, что одна дверь говорит чистую правду, а другая подло лжет. А ∧ ¬В= 4 ∧ (2,4) =4 ¬В ∧ А=(1,2,3) ∧ (1,3)=1,3 В первом случае у нас только один вариант, а во втором два. Выбираем один, то есть 4. В этом случае у нас в каждой комнате сидит по кошке.