Правила форума
В этом разделе
нельзя создавать новые темы. Если Вы хотите задать новый вопрос, то
не дописывайте его в существующую тему, а создайте новую в корневом разделе "Помогите решить/разобраться (М)".
Если Вы зададите новый вопрос в существующей теме, то в случае нарушения оформления или других правил форума Ваше сообщение и все ответы на него могут быть
удалены без предупреждения.Не ищите на этом форуме халяву, правила запрещают участникам публиковать готовые решения стандартных учебных задач. Автор вопроса
обязан привести свои попытки решения и указать конкретные затруднения.
Обязательно просмотрите тему Правила данного раздела, иначе Ваша тема может быть
удалена или перемещена в
Карантин, а Вы так и не узнаете, почему.
|
vito |
Re: Математическая логика  29.10.2011, 04:02 |
|
28/10/11
12
|
|
Так как исходя из «вопроса» определяется местоположение, то местоположение следует из вопроса.
«вопрос» -> 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
Как видим условие полностью удовлетворяется.
Спасибо, интересная задачка, из жизни.
Мы действительно не знаем правду нам скажут или нет. И верно формулировать вопросы тоже нужно уметь.
|
|
|
|
 |
|
cati |
Re: Математическая логика 07.11.2011, 08:18 |
|
16/01/11
7
|
|
спасибо, за решение, голову сломала в свое время из-за этой задачи...успехов вам ;)
|
|
|
|
|
Модераторы: Модераторы Математики, Супермодераторы
