|
Так как исходя из «вопроса» определяется местоположение, то местоположение следует из вопроса.
«вопрос» -> A (стрелка импликация)
Очевидно, что множество A включает вопрос.
Но так «вопрос» также определяет положение в B.
«вопрос» -> B
Но из того, что
«вопрос» -> A и «вопрос» -> B
То эти множества должны пересекаться.
Но так как по условию эти множества не пересекаются(XOR).
«вопрос» будет представлять их некоторую общую часть.
А именно.
A and B.
Следовательно «вопрос» - «Я нахожусь в городе A и B ?».
( A or B) xor (A and B).
Таблица правды
(1, 1) = 0, (0, 1) = 1, (1, 0) = 1, (0, 0) = 0
Как видим условие полностью удовлетворяется.
Спасибо, интересная задачка, из жизни.
Мы действительно не знаем правду нам скажут или нет. И верно формулировать вопросы тоже нужно уметь.
|
29.10.2011, 04:02 